Study on Model Abstraction for Model Checking of Real-time Systems

このアイテムのアクセス数:321件（2022-01-17 04:11 集計）

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

ファイル	フォーマット	サイズ	閲覧回数	説明
24649_要旨	pdf	706 KB	33	要旨/Abstract
24649_論文	pdf	1.4 MB	82	論文/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