Symbolic Bisimulation Checking and Decomposition of Real-Time Service Specifications

中田, 明夫

アクセス数:777件（2025-07-11 11:03 集計）

固定URL: https://doi.org/10.11501/3129118

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
13219_Abstract	pdf	なし	155 KB	125	2014.06.09	要旨/Abstract
13219_Dissertation	pdf	なし	3.55 MB	100	2012.09.22	論文/Dissertation

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

資源タイプ	博士論文
ローカル資源タイプ	博士論文本文あり
ローカル資源タイプ	博士論文
DCMI資源タイプ	text
DCTERMS.bibliographicCitation	大阪大学, 1997, 博士論文
DC.title	Symbolic Bisimulation Checking and Decomposition of Real-Time Service Specifications
	実時間サービス仕様の記号的双模倣性検証および分解
	ジツジカンサービスシヨウノキゴウテキソウモホウセイケンショウオヨビブンカイ
DC.creator	中田, 明夫
	ナカタ, アキオ
	Nakata, Akio
DC.language' scheme='DCTERMS.RFC1766	英語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	1997-03-25
DC.identifier	10.11501/3129118
DC.format	2511
citation_title	Symbolic Bisimulation Checking and Decomposition of Real-Time Service Specifications
citation_author	中田, 明夫
citation_language	英語
citation_public_url	https://hdl.handle.net/11094/2511
citation_date	1997-03-25
citation_doi_detail	10.11501/3129118
citation_doi	https://doi.org/10.11501/3129118