Software Certification: Is There a Case against Safety Cases?

Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer. Software Certification: Is There a Case against Safety Cases?. In Radu Calinescu, Ethan K. Jackson, editors, Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers. Volume 6662 of Lecture Notes in Computer Science, pages 206-227, Springer, 2010. [doi]

Authors

Alan Wassyng

This author has not been identified. Look up 'Alan Wassyng' in Google

T. S. E. Maibaum

This author has not been identified. Look up 'T. S. E. Maibaum' in Google

Mark Lawford

This author has not been identified. Look up 'Mark Lawford' in Google

Hans Bherer

This author has not been identified. Look up 'Hans Bherer' in Google