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

التفاصيل البيبلوغرافية
العنوان:	Reliability Analysis of a Computer-Based Interlocking System with a Double 2-out-of-2 Redundancy Structure using Algebraic Binary Decision Diagrams
المؤلفون:	Long, Wenjia, Wang, Kaizhi, Wang, Xuan
المصدر:	2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) QRS-C Software Quality, Reliability, and Security Companion (QRS-C), 2022 IEEE 22nd International Conference on. :447-453 Dec, 2022
Relation:	2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)
قاعدة البيانات:	IEEE Xplore Digital Library