Login / Signup
BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees.
Daniel Basgöze
Matthias Volk
Joost-Pieter Katoen
Shahid Khan
Mariëlle Stoelinga
Published in:
NFM (2022)
Keyphrases
</>
quantitative analysis
real time
information systems
image analysis
fault diagnosis
computationally expensive
multi agent
state space
fault detection
qualitative analysis