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

Stefan Bjrnander, Rikard Land, Patrick J. Graydon, Kristina Lundqvist, Philippa Conmy

Browse the full ISSRE paper archive.