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

閲覧可能ファイル 

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

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル	Verifying Fault Tolerance of Concurrent Systems by Model Checking
著者	NRID 1000050382362 1000050382362 著者名 Yokogawa, Tomoyuki
	NRID 1000030283740 1000030283740 ORCID 0000-0002-3329-9235 0000-0002-3329-9235 researchmap permalink tatsuhirotsuchiya72 tatsuhirotsuchiya72 Scopus Author ID 7403030658 7403030658 著者名 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
PISSN	09168508
関連情報 (references)	URI http://search.ieice.org/
アクセス権	open access
権利情報	Copyright © 2002 The Institute of Electronics, Information and Communication Engineers
出版タイプ	Version of Record
カテゴリ	学術雑誌論文 Journal Article

ホームへ戻る