On the Analysis of Self-Stabilizing Algorithms Using Model Checking

このアイテムのアクセス数:272件（2022-08-13 23:52 集計）

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/27640

ファイル	フォーマット	サイズ	閲覧回数	説明
24651_要旨	pdf	524 KB	63	要旨/Abstract
24651_論文	pdf	4.01 MB	88	論文/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