雑誌ブラウズ
雑誌 全て
大阪大学 刊行物
ランキング
アクセスランキング
ダウンロードランキング
博士論文のみをさがす
リポジトリ登録支援システム
附属図書館
このアイテムのアクセス数:
267
件
(
2022-06-25
10:42 集計
)
このアイテムへのリンクには次のURLをご利用ください:
https://doi.org/10.11501/3129118
このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/2511
閲覧可能ファイル
ファイル
フォーマット
サイズ
閲覧回数
説明
13219_要旨
pdf
155 KB
40
要旨/Abstract
13219_論文
pdf
3.55 MB
36
論文/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