Author:
Zheng Zixia,Tian Jin,Zhao Tingdi
Funder
National Natural Science Foundation of China
Project of Ministry of Industry and Information Technology of China
National Natural Science Foundation of China and Civil Aviation Administration of China
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Human-Computer Interaction,Philosophy
Reference35 articles.
1. Alper SJ, Karsh BT (2009) A systematic review of safety violations in industry. Accid Anal Prev 41(4):739–754
2. Alur R (1998) Model checking of hierarchical state machines. Acm Sigsoft Softw Eng Notes 23(6):273–303
3. Armando A, Compagna L (2004) SATMC: a SAT-based model checker for security protocols. In: Proceedings of the logics in artificial intelligence, European Conference, Lisbon, Portugal, 27–30 September 2004
4. Bengtsson J, Larsen KG, Larsson F, Pettersson P, Wang Y (1996) UPPAAL: a tool suite for the automatic veri cation of real-time systems. Lect Notes Comput Sci 1066:232–243
5. Carvalho PVRD (2011) The use of functional resonance analysis method (FRAM) in a mid-air collision to understand some characteristics of the air traffic management system resilience. Reliab Eng Syst Saf 96(11):1482–1498
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献