Identifier to cite or link to this item: https://hdl.handle.net/11094/27254

Link to primary information 

File	Format	Terms of use	Size	Views	Date.Available	Description	information
IEICE_E85-A_11_2414	pdf	None	510 KB	125	2014.04.03

Item Information

Output File Export EndNote Basic Export Mendeley

Title	Verifying Fault Tolerance of Concurrent Systems by Model Checking
Creator	NRID 1000050382362 1000050382362 CreatorName Yokogawa, Tomoyuki
	NRID 1000030283740 1000030283740 ORCID 0000-0002-3329-9235 0000-0002-3329-9235 researchmap permalink tatsuhirotsuchiya72 tatsuhirotsuchiya72 Scopus Author ID 7403030658 7403030658 CreatorName Tsuchiya, Tatsuhiro
	NRID 1000050093745 1000050093745 CreatorName Kikuno, Tohru
Subject	symbolic model checking
	fault tolerance
	SMV
	concurrent system
	guarded command
Publisher	電子情報通信学会
	The Institute of Electronics, Information and Communication Engineers
	デンシ　ジョウホウ　ツウシン　ガッカイ
Source Title	IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Volume (Issue)	E85-A(11)
Page	2414-2425
Date of Issued	2002-11-01
Language	English
Handle URL	https://hdl.handle.net/11094/27254
PISSN	09168508
Relation.references	URI http://search.ieice.org/
Access Rights	open access
CopyRight	Copyright © 2002 The Institute of Electronics, Information and Communication Engineers
oaire:version	Version of Record
Category	学術雑誌論文 Journal Article

Back to Home