固定URL: https://doi.org/10.11501/3151128

閲覧可能ファイル 

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

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル	代数的手法を用いた同期式順序回路の段階的設計および形式的検証
	ダイスウテキ シュホウ ヲ モチイタ ドウキシキ ジュンジョ カイロ ノ ダンカイテキ セッケイ オヨビ ケイシキテキ ケンショウ
著者	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年度

ホームへ戻る