A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Stefan Björnander' in GoogleThis author has not been identified. Look up 'Rikard Land' in GoogleThis author has not been identified. Look up 'Patrick J. Graydon' in GoogleThis author has not been identified. Look up 'Kristina Lundqvist' in GoogleThis author has not been identified. Look up 'Philippa Conmy' in Google

runs on WebDSL