Login / Signup

Reliability Analysis of a Computer-Based Interlocking System with a Double 2-out-of-2 Redundancy Structure using Algebraic Binary Decision Diagrams.

Wenjia LongKaizhi WangXuan Wang
Published in: QRS Companion (2022)
Keyphrases
  • reliability analysis
  • binary decision diagrams
  • databases
  • machine learning
  • relational databases
  • symbolic model checking