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

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

閲覧可能ファイル 

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明
14179_Abstract	pdf	なし	157 KB	45	2014.08.04	要旨/Abstract
14179_Dissertation	pdf	なし	4.29 MB	103	2012.09.22	論文/Dissertation

論文情報

ファイル出力

タイトル	代数的手法を用いた同期式順序回路の段階的設計および形式的検証
	ダイスウテキ シュホウ ヲ モチイタ ドウキシキ ジュンジョ カイロ ノ ダンカイテキ セッケイ オヨビ ケイシキテキ ケンショウ
著者	NRID 1000020234271 1000020234271 著者名 北道, 淳司 ; キタミチ, ジュンジ
学位名	博士（工学）
学位授与年月日	1998-10-14
学位授与機関	大阪大学
学位授与番号	乙第07614号
学位記番号	14179
言語	日本語
ハンドルURL	https://hdl.handle.net/11094/73
DOI	https://doi.org/10.11501/3151128
アクセス権	open access
出版タイプ	Version of Record
カテゴリ	博士論文 本文あり / その他 / 1998年度
	博士論文 / その他 / 1998年度

ホームへ戻る