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

Browse the full QRS paper archive.