Author:
Viger Torin,Salay Rick,Selim Gehan,Chechik Marsha
Publisher
Springer International Publishing
Reference33 articles.
1. Basir, N., Denney, E., Fischer, B.: Deriving safety cases from automatically constructed proofs. In: Proceedings of International Conference on Systems Safety (2009)
2. Lecture Notes in Computer Science;N Basir,2010
3. Bloomfield, R., Bishop, P., Jones, C., Froome, P.: ASCAD: Adelard Safety Case Development Manual, London, UK (1998). Accessed 28 Jan 2020
4. Brunel, J., Cazin, J.: Formal verification of a safety argumentation and application to a complex UAV system. In: Proceedings of SafeComp 2012, pp. 307–318 (2012)
5. Lecture Notes in Computer Science;M Chechik,2019
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Assurance Case Development as Data: A Manifesto;2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER);2023-05
2. The ForeMoSt approach to building valid model-based safety arguments;Software and Systems Modeling;2022-11-30
3. Requirements Engineering for Safety-Critical Molecular Programs;2022 IEEE 30th International Requirements Engineering Conference (RE);2022-08
4. A Lean Approach to Building Valid Model-Based Safety Arguments;2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS);2021-10
5. Validating Safety Arguments with Lean;Software Engineering and Formal Methods;2021