Fast Dynamic Fault Tree Analysis by Model Checking Techniques
New York, NY / IEEE (2017, 2018) [Journal Article]
IEEE transactions on industrial informatics
Volume: 14
Issue: 1
Page(s): 370-379
Authors
Authors
Volk, Matthias
Junges, Sebastian
Katoen, Joost-Pieter
Identifier
- DOI: 10.1109/TII.2017.2710316
- REPORT NUMBER: RWTH-2018-00939