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

閲覧可能ファイル 

ファイル	フォーマット	サイズ	閲覧回数	利用開始日	説明
18815_Abstract	pdf	120 KB	59	2014.06.09	要旨/Abstract
18815_Dissertation	pdf	346 KB	51	2012.09.22	論文/Dissertation

論文情報

タイトル	Formal Verification for Dependable Systems by Model Checking
	モデル検査手法によるディペンダブルシステムの形式的検証に関する研究
	モデルケンサ シュホウ ニヨル ディペンダブルシステム ノ ケイシキテキ ケンショウ ニ カンスル ケンキュウ
著者	NRID 1000050382362 1000050382362 著者名 横川, 智教 ヨコガワ, トモユキ Yokogawa, Tomoyuki
学位名	博士（工学）
学位授与年月日	2004-03-25
学位授与機関	大阪大学
研究科	基礎工学
専攻	情報数理系
学位授与番号	甲第09966号
学位記番号	18815
言語	英語
ハンドルURL	https://hdl.handle.net/11094/1455
アクセス権	open access
出版タイプ	Version of Record
カテゴリ	博士論文 本文あり / 基礎工学研究科 / 2003年度
	博士論文 / 基礎工学研究科 / 2003年度

ホームへ戻る