Systematic Model-Based Safety Assessment Via Probabilistic Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Julio Buzzi. Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I. Volume 6415 of Lecture Notes in Computer Science, pages 625-639, Springer, 2010. [doi]

This author has not been identified. Look up 'Adriano Gomes' in GoogleThis author has not been identified. Look up 'Alexandre Mota' in GoogleThis author has not been identified. Look up 'Augusto Sampaio' in GoogleThis author has not been identified. Look up 'Felipe Ferri' in GoogleThis author has not been identified. Look up 'Julio Buzzi' in Google

runs on WebDSL