Systematic Evaluation of (Safety) Assurance Cases

Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford. Systematic Evaluation of (Safety) Assurance Cases. In António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira 0005, editors, Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings. Volume 12234 of Lecture Notes in Computer Science, pages 18-33, Springer, 2020. [doi]

Abstract

Abstract is missing.