A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model

Stefan Björnander, Rikard Land, Patrick J. Graydon, Kristina Lundqvist, Philippa Conmy. A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model. In 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012. pages 337-342, IEEE, 2012. [doi]

No reviews for this publication, yet.