Login / Signup

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

Matthias VolkSebastian JungesJoost-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