Towards a Formal Basis for Modular Safety Cases

Ewen Denney, Ganesh J. Pai. Towards a Formal Basis for Modular Safety Cases. In Floor Koornneef, Coen van Gulijk, editors, Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings. Volume 9337 of Lecture Notes in Computer Science, pages 328-343, Springer, 2015. [doi]

Abstract

Abstract is missing.