Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems

ASIA unversity > 資訊學院 > 生物資訊與醫學工程學系 > 會議論文 > Item 310904400/7328

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://asiair.asia.edu.tw/ir/handle/310904400/7328

题名:	Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems
作者:	Jeffrey J. P. Tsai;E. Juan
日期:	1997-08
上传时间:	2010-01-29 13:54:52 (UTC+8)
出版者:	Asia University
關聯:	Proceedings of IEEE High-Assurance Systems Engineering, Washington DC, August:188-193
显示于类别:	[生物資訊與醫學工程學系 ] 會議論文

文件中的档案:

档案	描述	大小	格式	浏览次数
index.html		0Kb	HTML	354	检视/开启

在ASIAIR中所有的数据项都受到原著作权保护.