Formal Verification for Dependable Systems by Model Checking

このアイテムのアクセス数:289件（2022-06-27 13:35 集計）

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

ファイル	フォーマット	サイズ	閲覧回数	説明
18815_要旨	pdf	120 KB	48	要旨/Abstract
18815_論文	pdf	346 KB	45	論文/Dissertation

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

著者版フラグ	ETD
NII資源タイプ	学位論文
ローカル資源タイプ	博士論文本文あり
ローカル資源タイプ	博士論文
dcmi資源タイプ	text
DC.title	Formal Verification for Dependable Systems by Model Checking
DCTERMS.alternative	モデル検査手法によるディペンダブルシステムの形式的検証に関する研究
DC.creator	横川, 智教
DC.creator	Yokogawa, Tomoyuki
DC.language" scheme="DCTERMS.RFC1766	英語
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/1455
DCTERMS.issued" scheme="DCTERMS.W3CDTF	2004-03-25
citation_title	Formal Verification for Dependable Systems by Model Checking
citation_author	横川, 智教
citation_language	英語
citation_public_url	http://hdl.handle.net/11094/1455
citation_date	2004-03-25