Login / Signup
Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking.
Marwan Ammar
Ghaith Bany Hamad
Otmane Aït Mohamed
Yvon Savaria
Published in:
FDL (2016)
Keyphrases
</>
model checking
safety critical
formal methods
temporal logic
automated verification
safety analysis
finite state machines
formal verification
formal specification
model checker
reactive systems
embedded systems
expert systems
knowledge based systems
machine learning
distributed systems