QQ客服 官方微博 反馈留言

	Avionics system failure analysis and verification based on model checking
	Wang, Hongli; Zhong, Deming; Zhao, Tingdi
刊名	ENGINEERING FAILURE ANALYSIS
	2019
卷号	105页码:373-385
关键词	Systems-theoretic process analysis Failure analysis Model checking Failure verification Avionics system
ISSN号	1350-6307
DOI	10.1016/j.engfailanal.2019.06.020
URL标识	查看原文
收录类别	SCIE ; EI
WOS记录号	WOS:000496188200030
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/5918252
专题	北京航空航天大学
推荐引用方式 GB/T 7714	Wang, Hongli,Zhong, Deming,Zhao, Tingdi. Avionics system failure analysis and verification based on model checking[J]. ENGINEERING FAILURE ANALYSIS,2019,105:373-385.
APA	Wang, Hongli,Zhong, Deming,&Zhao, Tingdi.(2019).Avionics system failure analysis and verification based on model checking.ENGINEERING FAILURE ANALYSIS,105,373-385.
MLA	Wang, Hongli,et al."Avionics system failure analysis and verification based on model checking".ENGINEERING FAILURE ANALYSIS 105(2019):373-385.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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