雑誌ブラウズ
雑誌 全て
大阪大学 刊行物
ランキング
アクセスランキング
ダウンロードランキング
博士論文のみをさがす
リポジトリ登録支援システム
附属図書館
このアイテムのアクセス数:
351
件
(
2022-06-26
02:10 集計
)
このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/482
閲覧可能ファイル
ファイル
フォーマット
サイズ
閲覧回数
説明
24649_要旨
pdf
706 KB
38
要旨/Abstract
24649_論文
pdf
1.4 MB
88
論文/Dissertation
論文情報
タイトル
Study on Model Abstraction for Model Checking of Real-time Systems
別タイトル
実時間システムに対するモデル検査のためのモデル抽象化に関する研究
タイトル (ヨミ)
ジツジカン システム ニタイスル モデル ケンサ ノタメノ モデル チュウショウカ ニカンスル ケンキュウ
著者
Nagaoka, Takeshi
Nagaoka, Takeshi
著者の別表記
長岡, 武志
著者 (ヨミ)
ナガオカ, タケシ
著者所属研究科
情報科学
専攻
コンピュータサイエンス
学位名
博士(情報科学)
学位授与年月日
2011-03-25
学位授与機関
大阪大学
学位授与番号
14401甲第14988号
学位記番号
24649
URL
http://hdl.handle.net/11094/482
言語
英語
カテゴリ
博士論文 本文あり / 情報科学研究科 / 2010年度
博士論文 / 情報科学研究科 / 2010年度
論文詳細を表示
著者版フラグ
ETD
NII資源タイプ
学位論文
ローカル資源タイプ
博士論文 本文あり
博士論文
dcmi資源タイプ
text
DC.title
Study on Model Abstraction for Model Checking of Real-time Systems
DCTERMS.alternative
実時間システムに対するモデル検査のためのモデル抽象化に関する研究
DC.creator
Nagaoka, Takeshi
DC.creator
長岡, 武志
DC.language" scheme="DCTERMS.RFC1766
英語
DC.identifier" scheme="DCTERMS.URI
http://hdl.handle.net/11094/482
DCTERMS.issued" scheme="DCTERMS.W3CDTF
2011-03-25
citation_title
Study on Model Abstraction for Model Checking of Real-time Systems
citation_author
Nagaoka, Takeshi
citation_language
英語
citation_public_url
http://hdl.handle.net/11094/482
citation_date
2011-03-25