Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stefan Puch, Martin Fränzle, Sebastian Gerwinn. Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II. Volume 11245 of Lecture Notes in Computer Science, pages 305-321, Springer, 2018. [doi]

This author has not been identified. Look up 'Stefan Puch' in GoogleThis author has not been identified. Look up 'Martin Fränzle' in GoogleThis author has not been identified. Look up 'Sebastian Gerwinn' in Google

runs on WebDSL