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

Nagaoka, Takeshi

アクセス数:774件（2025-07-06 12:25 集計）

固定URL: https://hdl.handle.net/11094/482

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
24649_Abstract	pdf	なし	706 KB	113	2017.02.22	要旨/Abstract
24649_Dissertation	pdf	なし	1.40 MB	176	2012.09.22	論文/Dissertation

タイトル	Study on Model Abstraction for Model Checking of Real-time Systems
	実時間システムに対するモデル検査のためのモデル抽象化に関する研究
	ジツジカンシステムニタイスルモデルケンサノタメノモデルチュウショウカニカンスルケンキュウ
著者	著者名 Nagaoka, Takeshi ; ナガオカ, タケシ ; 長岡, 武志
学位名	博士（情報科学）
学位授与年月日	2011-03-25
学位授与機関	大阪大学
研究科	情報科学
専攻	コンピュータサイエンス
学位授与番号	甲第14988号
学位記番号	24649
言語	英語
ハンドルURL	https://hdl.handle.net/11094/482
アクセス権	open access
出版タイプ	Version of Record
カテゴリ	博士論文本文あり / 情報科学研究科 / 2010年度
カテゴリ	博士論文 / 情報科学研究科 / 2010年度

資源タイプ	博士論文
ローカル資源タイプ	博士論文本文あり
ローカル資源タイプ	博士論文
DCMI資源タイプ	text
DCTERMS.bibliographicCitation	大阪大学, 2011, 博士論文
DC.title	Study on Model Abstraction for Model Checking of Real-time Systems
	実時間システムに対するモデル検査のためのモデル抽象化に関する研究
	ジツジカンシステムニタイスルモデルケンサノタメノモデルチュウショウカニカンスルケンキュウ
DC.creator	Nagaoka, Takeshi
	ナガオカ, タケシ
	長岡, 武志
DC.language' scheme='DCTERMS.RFC1766	英語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	2011-03-25
DC.format	482
citation_title	Study on Model Abstraction for Model Checking of Real-time Systems
citation_author	Nagaoka, Takeshi
citation_language	英語
citation_public_url	https://hdl.handle.net/11094/482
citation_date	2011-03-25