Symbolic Bisimulation Checking and Decomposition of Real-Time Service Specifications

このアイテムのアクセス数:119件（2019-06-19 06:00 集計）

このアイテムへのリンクには次のURLをご利用ください:https://doi.org/10.11501/3129118

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

ファイル	フォーマット	サイズ	閲覧回数	説明
13219_要旨	pdf	155 KB	25	要旨/Abstract
13219_論文	pdf	3.55 MB	24	論文/Dissertation

タイトル	Symbolic Bisimulation Checking and Decomposition of Real-Time Service Specifications
別タイトル	実時間サービス仕様の記号的双模倣性検証および分解
タイトル (ヨミ)	ジツジカンサービスシヨウノキゴウテキソウモホウセイケンショウオヨビブンカイ
著者	中田, 明夫中田, 明夫
著者の別表記	Nakata, Akio
著者 (ヨミ)	ナカタ, アキオ
著者所属研究科	基礎工学
専攻	物理系
学位名	博士（工学）
学位授与年月日	1997-03-25
学位授与機関	大阪大学
学位授与番号	14401甲第06033号
学位記番号	13219
URL	http://hdl.handle.net/11094/2511
言語	英語
DOI	info:doi/10.11501/3129118
カテゴリ	博士論文本文あり / 基礎工学研究科 / 1996年度
カテゴリ	博士論文 / 基礎工学研究科 / 1996年度

著者版フラグ	ETD
NII資源タイプ	学位論文
ローカル資源タイプ	博士論文本文あり
ローカル資源タイプ	博士論文
dcmi資源タイプ	text
DC.title	Symbolic Bisimulation Checking and Decomposition of Real-Time Service Specifications
DCTERMS.alternative	実時間サービス仕様の記号的双模倣性検証および分解
DC.creator	中田, 明夫
DC.creator	Nakata, Akio
DC.language" scheme="DCTERMS.RFC1766	英語
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/2511
DCTERMS.issued" scheme="DCTERMS.W3CDTF	1997-03-25
DC.identifier	info:doi/10.11501/3129118
citation_title	Symbolic Bisimulation Checking and Decomposition of Real-Time Service Specifications
citation_author	中田, 明夫
citation_language	英語
citation_public_url	http://hdl.handle.net/11094/2511
citation_date	1997-03-25
citation_doi	info:doi/10.11501/3129118