Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates.

Matthias Volk, Sebastian Junges, Joost-Pieter Katoen

Browse the full SAFECOMP paper archive.