ようこそ ゲスト さん
雑誌ブラウズ
雑誌 全て
大阪大学 刊行物
ランキング
アクセスランキング
ダウンロードランキング
博士論文のみをさがす
このアイテムのアクセス数:
207
件
(
2021-01-26
10:41 集計
)
このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/1455
閲覧可能ファイル
ファイル
フォーマット
サイズ
閲覧回数
説明
18815_要旨
pdf
120 KB
41
要旨/Abstract
18815_論文
pdf
346 KB
43
論文/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