QQ客服 官方微博 反馈留言

	A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges
	Li, Yahui; Yin, Xia; Wang, Zhiliang; Yao, Jiangyuan; Shi, Xingang; Wu, Jianping; Zhang, Han; Wang, Qing
刊名	IEEE COMMUNICATIONS SURVEYS AND TUTORIALS
	2019
卷号	21页码:940-969
关键词	Network verification network testing formal methods network reliability software-defined network
ISSN号	1553-877X
DOI	10.1109/COMST.2018.2868050
URL标识	查看原文
收录类别	SCIE ; EI
WOS记录号	WOS:000459730200035
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/5921498
专题	北京航空航天大学
推荐引用方式 GB/T 7714	Li, Yahui,Yin, Xia,Wang, Zhiliang,et al. A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges[J]. IEEE COMMUNICATIONS SURVEYS AND TUTORIALS,2019,21:940-969.
APA	Li, Yahui.,Yin, Xia.,Wang, Zhiliang.,Yao, Jiangyuan.,Shi, Xingang.,...&Wang, Qing.(2019).A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges.IEEE COMMUNICATIONS SURVEYS AND TUTORIALS,21,940-969.
MLA	Li, Yahui,et al."A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges".IEEE COMMUNICATIONS SURVEYS AND TUTORIALS 21(2019):940-969.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。