QQ客服 官方微博 反馈留言

	Integrating Model Checking With SysML in Complex System Safety Analysis
	Wang, Hongli; Zhong, Deming; Zhao, Tingdi; Ren, Fuchun
刊名	IEEE ACCESS
	2019
卷号	7页码:16561-16571
关键词	Complex system safety analysis model checking system modeling language (SysML) integrated modular avionics (IMA) potential hazard
ISSN号	2169-3536
DOI	10.1109/ACCESS.2019.2892745
URL标识	查看原文
收录类别	SCIE ; EI
WOS记录号	WOS:000459201300001
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/5921622
专题	北京航空航天大学
推荐引用方式 GB/T 7714	Wang, Hongli,Zhong, Deming,Zhao, Tingdi,et al. Integrating Model Checking With SysML in Complex System Safety Analysis[J]. IEEE ACCESS,2019,7:16561-16571.
APA	Wang, Hongli,Zhong, Deming,Zhao, Tingdi,&Ren, Fuchun.(2019).Integrating Model Checking With SysML in Complex System Safety Analysis.IEEE ACCESS,7,16561-16571.
MLA	Wang, Hongli,et al."Integrating Model Checking With SysML in Complex System Safety Analysis".IEEE ACCESS 7(2019):16561-16571.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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