Author:
Zhang Yan,Tang Tao,Li KePing,Mera Jose Manuel,Zhu Li,Zhao Lin,Xu TianHua
Publisher
Springer Science and Business Media LLC
Subject
General Engineering,General Materials Science
Reference38 articles.
1. Heimdahl M P E. Safety and software intensive systems: challenges old and new. In: Conformance of Future of Software Engineering, 2007. Washington: IEEE Computer Society, 2007. 137–152
2. Esposito R, Sanseviero A, Lazzaro A, et al. Formal verification of ERTMS euroradio safety critical protocol. In: Proceedings of FORMS 2003. Budapest: IEEE Computer Society, 2003. 21–29
3. Diao Y F, Wang B D. Risk analysis of flood control operation mode with forecast information based on a combination of risk sources. Sci China Tech Sci, 2010, 53(7): 1949–1956
4. Chu Y Y, Zhang H, Shen S F, et al. Development of a model to generate a risk map in a building fire. Sci China Tech Sci, 2010, 53(10): 2739–2747
5. Xu T H, Tang T, Gao C H, et al. Dependability analysis of the data communication system in train control system. Sci China Tech Sci, 2009, 52(9): 2605–2618
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献