Author:
Habermaier Axel,Knapp Alexander,Leupolz Johannes,Reif Wolfgang
Publisher
Springer International Publishing
Reference29 articles.
1. Lecture Notes in Computer Science;T Andrews,2004
2. Avižienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. Dependable Secure Comput. 1(1), 11–33 (2004)
3. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
4. Batteux, M., Prosvirnova, T., Rauzy, A., Kloul, L.: The AltaRica 3.0 project for model-based safety assessment. In: Industrial Informatics, pp. 741–746. IEEE (2013)
5. Lecture Notes in Computer Science;M Bozzano,2015
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Safety Process for Self-adaptive Safety-Critical Plug&Fly Avionics;2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC);2021-10-03
2. From Verification to Explanation (Track Introduction);Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends;2021
3. Qualitative and quantitative analysis of safety-critical systems with;International Journal on Software Tools for Technology Transfer;2017-07-17
4. Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with;Lecture Notes in Computer Science;2016