analyzing interoperability of protocols using model checking

ISCAS OpenIR

	analyzing interoperability of protocols using model checking
	Wu P
	2005
发表期刊	CHINESE JOURNAL OF ELECTRONICS
ISSN	1022-4653
卷号	14 期号:3 页码:453-457
收录类别	sci
关键词	Interoperability Analysis And Testing Model Checking Conformance Testing Protocol
部门归属	Chinese Acad Sci, Grad Sch, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China.
学科领域	Engineering, Electrical & Electronic
语种	英语
WOS记录号	WOS:000230509500018
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12514
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Wu P. analyzing interoperability of protocols using model checking[J]. CHINESE JOURNAL OF ELECTRONICS,2005,14(3):453-457.
APA	Wu P.(2005).analyzing interoperability of protocols using model checking.CHINESE JOURNAL OF ELECTRONICS,14(3),453-457.
MLA	Wu P."analyzing interoperability of protocols using model checking".CHINESE JOURNAL OF ELECTRONICS 14.3(2005):453-457.