ようこそ ゲスト さん
雑誌ブラウズ
雑誌 全て
大阪大学 刊行物
ランキング
アクセスランキング
ダウンロードランキング
博士論文のみをさがす
このアイテムのアクセス数:
111
件
(
2021-02-26
03:34 集計
)
このアイテムへのリンクには次のURLをご利用ください:
https://doi.org/10.11501/3151128
このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/73
閲覧可能ファイル
ファイル
フォーマット
サイズ
閲覧回数
説明
14179_要旨
pdf
157 KB
20
要旨/Abstract
14179_論文
pdf
4.29 MB
84
論文/Dissertation
論文情報
タイトル
代数的手法を用いた同期式順序回路の段階的設計および形式的検証
タイトル (ヨミ)
ダイスウテキ シュホウ ヲ モチイタ ドウキシキ ジュンジョ カイロ ノ ダンカイテキ セッケイ オヨビ ケイシキテキ ケンショウ
著者
北道, 淳司
北道, 淳司
著者 (ヨミ)
キタミチ, ジュンジ
学位名
博士(工学)
学位授与年月日
1998-10-14
学位授与機関
大阪大学
学位授与番号
14401乙第07614号
学位記番号
14179
URL
http://hdl.handle.net/11094/73
言語
日本語
DOI
info:doi/10.11501/3151128
カテゴリ
博士論文 本文あり / その他 / 1998年度
博士論文 / その他 / 1998年度
論文詳細を表示
著者版フラグ
ETD
NII資源タイプ
学位論文
ローカル資源タイプ
博士論文 本文あり
博士論文
dcmi資源タイプ
text
DC.title
代数的手法を用いた同期式順序回路の段階的設計および形式的検証
DC.creator
北道, 淳司
DC.language" scheme="DCTERMS.RFC1766
日本語
DC.identifier" scheme="DCTERMS.URI
http://hdl.handle.net/11094/73
DCTERMS.issued" scheme="DCTERMS.W3CDTF
1998-10-14
DC.identifier
info:doi/10.11501/3151128
citation_title
代数的手法を用いた同期式順序回路の段階的設計および形式的検証
citation_author
北道, 淳司
citation_language
日本語
citation_public_url
http://hdl.handle.net/11094/73
citation_date
1998-10-14
citation_doi
info:doi/10.11501/3151128