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

BIB
Stefan Puch and Martin Fränzle and Sebastian Gerwinn
Leveraging Applications of Formal Methods, Verification and Validation. Verification
2018
incollection
Springer International Publishing
305-321
CSE
Interdisciplinary Research Center on Critical Systems Engineering for Socio-Technical Systems
10.1007/978-3-030-03421-4_20

OFFIS Autoren

Martin Fränzle
Martin Fränzle