Funder
NASA Langley Research Center
College of Science and Engineering, University of Minnesota
National Aeronautics and Space Administration
Subject
Industrial and Manufacturing Engineering,Safety, Risk, Reliability and Quality
Reference42 articles.
1. Joshi A, Miller SP, Whalen M, Heimdahl MP. A proposal for model-based safety analysis. In: Proceedings of 24th digital avionics systems conference. 2005.
2. Bozzano M, Cimatti A, Griggio A, Mattarei C. Efficient anytime techniques for model-based safety analysis. In: Computer aided verification. 2015.
3. Model based safety analysis with smartiflow;Hönig;Information,2017
4. Lisagor O, Kelly T, Niu R. Model-based safety assessment: review of the discipline and its challenges. In: The proceedings of 2011 9th international conference on reliability, maintainability and safety. 2011.
5. Gudemann M, Ortmeier F. A framework for qualitative and quantitative formal model-based safety analysis. In: HASE 2010. 2010.
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献