Login / Signup
Verification of Component Fault Trees Using Error Effect Simulations.
Sebastian Reiter
Marc Zeller
Kai Höfig
Alexander Viehl
Oliver Bringmann
Wolfgang Rosenstiel
Published in:
IMBSA (2017)
Keyphrases
</>
decision trees
error rate
error detection
numerical simulations
error bounds
error analysis
real time
artificial intelligence
fault diagnosis
model checking
compact representations
neural network
evolutionary algorithm
temporal logic
error correction
multiple faults