ようこそ ゲスト さん
雑誌ブラウズ
雑誌 全て
大阪大学 刊行物
ランキング
アクセスランキング
ダウンロードランキング
博士論文のみをさがす
このアイテムのアクセス数:
219
件
(
2021-01-25
13:54 集計
)
このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/27640
閲覧可能ファイル
ファイル
フォーマット
サイズ
閲覧回数
説明
24651_要旨
pdf
524 KB
56
要旨/Abstract
24651_論文
pdf
4.01 MB
85
論文/Dissertation
論文情報
タイトル
On the Analysis of Self-Stabilizing Algorithms Using Model Checking
別タイトル
モデル検査を用いた自己安定アルゴリズムの解析について
タイトル (ヨミ)
モデル ケンサ ヲ モチイタ ジコ アンテイ アルゴリズム ノ カイセキ 二 ツイテ
著者
Kimoto, Masahiro
Kimoto, Masahiro
著者の別表記
木本, 雅博
著者 (ヨミ)
キモト, マサヒロ
著者所属研究科
情報科学
専攻
情報システム工学
学位名
博士(情報科学)
学位授与年月日
2011-03-25
学位授与機関
大阪大学
学位授与番号
14401甲第14990号
学位記番号
24651
URL
http://hdl.handle.net/11094/27640
言語
英語
カテゴリ
博士論文 本文あり / 情報科学研究科 / 2010年度
博士論文 / 情報科学研究科 / 2010年度
論文詳細を表示
著者版フラグ
ETD
NII資源タイプ
学位論文
ローカル資源タイプ
博士論文 本文あり
博士論文
dcmi資源タイプ
text
DC.title
On the Analysis of Self-Stabilizing Algorithms Using Model Checking
DCTERMS.alternative
モデル検査を用いた自己安定アルゴリズムの解析について
DC.creator
Kimoto, Masahiro
DC.creator
木本, 雅博
DC.language" scheme="DCTERMS.RFC1766
英語
DC.identifier" scheme="DCTERMS.URI
http://hdl.handle.net/11094/27640
DCTERMS.issued" scheme="DCTERMS.W3CDTF
2011-03-25
citation_title
On the Analysis of Self-Stabilizing Algorithms Using Model Checking
citation_author
Kimoto, Masahiro
citation_language
英語
citation_public_url
http://hdl.handle.net/11094/27640
citation_date
2011-03-25