Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study

Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly. Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study. In Felix Redmill, Tom Anderson, editors, The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007. pages 133-146, Springer, 2007. [doi]

Abstract

Abstract is missing.