Fast Dynamic Fault Tree Analysis by Model Checking Techniques

New York, NY / IEEE (2018) [Journal Article]

IEEE transactions on industrial informatics
Volume: 14
Issue: 1
Page(s): 370 - 379

Authors

Selected Authors

Volk, Matthias
Junges, Sebastian
Katoen, Joost-Pieter

Identifier