Verifying Fault Tolerance of Concurrent Systems by Model Checking

このアイテムのアクセス数:41件（2018-10-19 20:55 集計）

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

ファイル	フォーマット	サイズ	閲覧回数	説明
IEICE_E85-A_11_2414	pdf	510 KB	36

タイトル	Verifying Fault Tolerance of Concurrent Systems by Model Checking
著者	Yokogawa, Tomoyuki Yokogawa, Tomoyuki
	Tsuchiya, Tatsuhiro Tsuchiya, Tatsuhiro
	Kikuno, Tohru Kikuno, Tohru
キーワード等	symbolic model checking
	fault tolerance
	SMV
	concurrent system
	guarded command
公開者	電子情報通信学会
公開者の別表記	The Institute of Electronics, Information and Communication Engineers
公開者 (ヨミ)	デンシ　ジョウホウ　ツウシン　ガッカイ
掲載誌名	IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
巻	E85-A
号	11
開始ページ	2414
終了ページ	2425
刊行年月	2002-11-01
ISSN	09168508
URL	http://hdl.handle.net/11094/27254
関連情報 (references)	http://search.ieice.org/
権利情報	Copyright © 2002 The Institute of Electronics, Information and Communication Engineers
言語	英語

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences.E85-A(11) P.2414-P.2425
DC.title	Verifying Fault Tolerance of Concurrent Systems by Model Checking
DC.creator	Yokogawa, Tomoyuki
	Tsuchiya, Tatsuhiro
	Kikuno, Tohru
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	英語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	2002-11-01
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/27254
DC.subject	symbolic model checking
	fault tolerance
	SMV
	concurrent system
	guarded command
DC.rights	Copyright © 2002 The Institute of Electronics, Information and Communication Engineers
citation_title	Verifying Fault Tolerance of Concurrent Systems by Model Checking
citation_author	Yokogawa, Tomoyuki
	Tsuchiya, Tatsuhiro
	Kikuno, Tohru
citation_publisher	電子情報通信学会
citation_language	英語
citation_date	2002-11-01
citation_journal_title	IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
citation_volume	E85-A
citation_issue	11
citation_firstpage	2414
citation_lastpage	2425
citation_issn	09168508
citation_public_url	http://hdl.handle.net/11094/27254
citation_keywords	symbolic model checking
	fault tolerance
	SMV
	concurrent system
	guarded command