analyzing interoperability of protocols using model checking

ISCAS OpenIR

	analyzing interoperability of protocols using model checking
	Wu P
	2005
Source	CHINESE JOURNAL OF ELECTRONICS
ISSN	1022-4653
Volume	14 Issue:3 Pages:453-457
Indexed Type	sci
Keyword	Interoperability Analysis And Testing Model Checking Conformance Testing Protocol
Department	Chinese Acad Sci, Grad Sch, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China.
Subject	Engineering, Electrical & Electronic
Language	英语
WOS ID	WOS:000230509500018
Citation statistics
Content Type	期刊论文
URI	http://ir.iscas.ac.cn/handle/311060/12514
Collection	中国科学院软件研究所
Recommended Citation 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.

Related Services

Bookmark

Google Scholar

Similar articles in Bing Scholar

Terms of Use

No data!

Social Bookmark/Share

All comments (0)

No comment.

The comment function is only available to registered usersLog In

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库