このアイテムのアクセス数:321件（2023-09-29 09:15 集計）

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

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明
13219_Abstract pdf なし 155 KB 65 2014.06.09 要旨/Abstract
13219_Dissertation pdf なし 3.55 MB 50 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年度