雑誌ブラウズ
雑誌 全て
大阪大学 刊行物
ランキング
アクセスランキング
ダウンロードランキング
博士論文のみをさがす
リポジトリ登録支援システム
附属図書館
このアイテムのアクセス数:
92
件
(
2022-06-30
15:47 集計
)
このアイテムへのリンクには次のURLをご利用ください:
https://doi.org/10.11501/3110262
このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/2085
閲覧可能ファイル
ファイル
フォーマット
サイズ
閲覧回数
説明
12590_要旨
pdf
169 KB
20
要旨/Abstract
12590_論文
pdf
648 KB
42
論文/Dissertation
論文情報
タイトル
Execution of Distributed Systems described in LOTOS and its Visualization
別タイトル
LOTOSで記述された分散システムの実行とその可視化
タイトル (ヨミ)
LOTOS デ キジュツ サレタ ブンサン システム ノ ジッコウ ト ソノ カシカ
著者
安本, 慶一
安本, 慶一
著者の別表記
Yasumoto, Keiichi
著者 (ヨミ)
ヤスモト, ケイイチ
学位名
博士(工学)
学位授与年月日
1996-03-25
学位授与機関
大阪大学
学位授与番号
14401乙第06927号
学位記番号
12590
URL
http://hdl.handle.net/11094/2085
言語
英語
DOI
info:doi/10.11501/3110262
カテゴリ
博士論文 本文あり / その他 / 1995年度
博士論文 / その他 / 1995年度
論文詳細を表示
著者版フラグ
ETD
NII資源タイプ
学位論文
ローカル資源タイプ
博士論文 本文あり
博士論文
dcmi資源タイプ
text
DC.title
Execution of Distributed Systems described in LOTOS and its Visualization
DCTERMS.alternative
LOTOSで記述された分散システムの実行とその可視化
DC.creator
安本, 慶一
DC.creator
Yasumoto, Keiichi
DC.language" scheme="DCTERMS.RFC1766
英語
DC.identifier" scheme="DCTERMS.URI
http://hdl.handle.net/11094/2085
DCTERMS.issued" scheme="DCTERMS.W3CDTF
1996-03-25
DC.identifier
info:doi/10.11501/3110262
citation_title
Execution of Distributed Systems described in LOTOS and its Visualization
citation_author
安本, 慶一
citation_language
英語
citation_public_url
http://hdl.handle.net/11094/2085
citation_date
1996-03-25
citation_doi
info:doi/10.11501/3110262