QQ客服 官方微博 反馈留言

	Safety is an emergent property: Illustrating functional resonance in Air Traffic Management with formal verification
	Yang, Qibo; Tian, Jin; Zhao, Tingdi
刊名	SAFETY SCIENCE
	2017
卷号	93页码:162-177
关键词	Functional Resonance Analysis Method (FRAM) System safety Air Traffic Management Formal verification Socio-technical system
ISSN号	0925-7535
DOI	10.1016/j.ssci.2016.12.006
URL标识	查看原文
收录类别	SCIE ; EI
WOS记录号	WOS:000392677300017
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/5942474
专题	北京航空航天大学
推荐引用方式 GB/T 7714	Yang, Qibo,Tian, Jin,Zhao, Tingdi. Safety is an emergent property: Illustrating functional resonance in Air Traffic Management with formal verification[J]. SAFETY SCIENCE,2017,93:162-177.
APA	Yang, Qibo,Tian, Jin,&Zhao, Tingdi.(2017).Safety is an emergent property: Illustrating functional resonance in Air Traffic Management with formal verification.SAFETY SCIENCE,93,162-177.
MLA	Yang, Qibo,et al."Safety is an emergent property: Illustrating functional resonance in Air Traffic Management with formal verification".SAFETY SCIENCE 93(2017):162-177.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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