Sign in
Reliability Analysis of a Computer-Based Interlocking System with a Double 2-out-of-2 Redundancy Structure using Algebraic Binary Decision Diagrams.
Wenjia Long
Kaizhi Wang
Xuan Wang
Published in:
QRS Companion (2022)
Keyphrases
</>
reliability analysis
binary decision diagrams
databases
machine learning
relational databases
symbolic model checking