代数的手法を用いた同期式順序回路の段階的設計および形式的検証

このアイテムのアクセス数:107件（2020-06-05 08:20 集計）

このアイテムへのリンクには次のURLをご利用ください:https://doi.org/10.11501/3151128

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/73

ファイル	フォーマット	サイズ	閲覧回数	説明
14179_要旨	pdf	157 KB	18	要旨/Abstract
14179_論文	pdf	4.29 MB	70	論文/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