On the Analysis of Self-Stabilizing Algorithms Using Model Checking

Kimoto, Masahiro

アクセス数:550件（2025-07-08 21:46 集計）

固定URL: https://hdl.handle.net/11094/27640

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
24651_Abstract	pdf	なし	524 KB	122	2017.08.01	要旨/Abstract
24651_Dissertation	pdf	なし	4.01 MB	168	2014.04.16	論文/Dissertation

タイトル	On the Analysis of Self-Stabilizing Algorithms Using Model Checking
	モデル検査を用いた自己安定アルゴリズムの解析について
	モデル　ケンサ　ヲ　モチイタ　ジコ　アンテイ　アルゴリズム　ノ　カイセキ　二　ツイテ
著者	著者名 Kimoto, Masahiro ; キモト, マサヒロ ; 木本, 雅博
学位名	博士（情報科学）
学位授与年月日	2011-03-25
学位授与機関	大阪大学
研究科	情報科学
専攻	情報システム工学
学位授与番号	甲第14990号
学位記番号	24651
言語	英語
ハンドルURL	https://hdl.handle.net/11094/27640
アクセス権	open access
出版タイプ	Version of Record
カテゴリ	博士論文本文あり / 情報科学研究科 / 2010年度
カテゴリ	博士論文 / 情報科学研究科 / 2010年度

資源タイプ	博士論文
ローカル資源タイプ	博士論文本文あり
ローカル資源タイプ	博士論文
DCMI資源タイプ	text
DCTERMS.bibliographicCitation	大阪大学, 2011, 博士論文
DC.title	On the Analysis of Self-Stabilizing Algorithms Using Model Checking
	モデル検査を用いた自己安定アルゴリズムの解析について
	モデル　ケンサ　ヲ　モチイタ　ジコ　アンテイ　アルゴリズム　ノ　カイセキ　二　ツイテ
DC.creator	Kimoto, Masahiro
	キモト, マサヒロ
	木本, 雅博
DC.language' scheme='DCTERMS.RFC1766	英語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	2011-03-25
DC.format	27640
citation_title	On the Analysis of Self-Stabilizing Algorithms Using Model Checking
citation_author	Kimoto, Masahiro
citation_language	英語
citation_public_url	https://hdl.handle.net/11094/27640
citation_date	2011-03-25