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

閲覧可能ファイル 

ファイル	フォーマット	サイズ	閲覧回数	利用開始日	説明
IEICE_E85-A_11_2414	pdf	510 KB	62	2014.04.03

論文情報

タイトル	Verifying Fault Tolerance of Concurrent Systems by Model Checking
著者	NRID 1000050382362 1000050382362 著者名 Yokogawa, Tomoyuki
	NRID 1000030283740 1000030283740 著者名 Tsuchiya, Tatsuhiro
	NRID 1000050093745 1000050093745 著者名 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
言語	英語
ハンドルURL	https://hdl.handle.net/11094/27254
ISSN	09168508
関連情報 (references)	関連識別子 http://search.ieice.org/
アクセス権	open access
権利情報	Copyright © 2002 The Institute of Electronics, Information and Communication Engineers
出版タイプ	Version of Record
カテゴリ	学術雑誌論文 Journal Article

ホームへ戻る