QQ客服 官方微博 反馈留言

	Petri Nets-based method to elicit component-interaction related safety requirements in safety-critical systems
	Zhu, Danjiang; Tan, Huobin; Yao, Shuzhen
刊名	COMPUTERS & ELECTRICAL ENGINEERING
	2018
卷号	71页码:162-172
关键词	System safety Software safety requirements Requirements elicitation Petri nets Dysfunctional interaction STAMP
ISSN号	0045-7906
DOI	10.1016/j.compeleceng.2018.07.019
URL标识	查看原文
收录类别	SCIE
WOS记录号	WOS:000451655800013
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/5931189
专题	北京航空航天大学
推荐引用方式 GB/T 7714	Zhu, Danjiang,Tan, Huobin,Yao, Shuzhen. Petri Nets-based method to elicit component-interaction related safety requirements in safety-critical systems[J]. COMPUTERS & ELECTRICAL ENGINEERING,2018,71:162-172.
APA	Zhu, Danjiang,Tan, Huobin,&Yao, Shuzhen.(2018).Petri Nets-based method to elicit component-interaction related safety requirements in safety-critical systems.COMPUTERS & ELECTRICAL ENGINEERING,71,162-172.
MLA	Zhu, Danjiang,et al."Petri Nets-based method to elicit component-interaction related safety requirements in safety-critical systems".COMPUTERS & ELECTRICAL ENGINEERING 71(2018):162-172.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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