Login / Signup
Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates.
Matthias Volk
Sebastian Junges
Joost-Pieter Katoen
Published in:
SAFECOMP (2016)
Keyphrases
</>
failure rate
state space
occurrence probability
markov chain
storage capacity
computer aided
fault tree
fault tree analysis
neural network
steady state