Author:
Chen Lu,Jiao Jian,Wei Qianxin,Zhao Tingdi
Subject
General Engineering,General Materials Science
Reference19 articles.
1. Integrating model checking with HiP-HOPS in model-based safety analysis;Sharvia;Reliab. Eng. Syst. Saf.,2015
2. A practicable safety modeling methodology for aircraft systems using Altarica;Duo;Procedia Eng.,2014
3. A proposal for model-based safety analysis;Joshi,2005
4. Model-based Safety Analysis;Joshi,2006
5. Hierarchically performed hazard origin and propagation studies;Papadopoulos,1999
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献