Sign in
Reliability Dynamic Analysis by Fault Trees and Binary Decision Diagrams.
Fausto Pedro García Márquez
Isaac Segovia Ramírez
Behnam Mohammadi-Ivatloo
Alberto Pliego Marugán
Published in:
Inf. (2020)
Keyphrases
</>
dynamic analysis
binary decision diagrams
model checking
static analysis
reverse engineering
symbolic model checking
boolean functions
fault diagnosis
decision trees
planning problems
variable ordering
tree structure
general purpose
multi dimensional
source code
formal verification