التفاصيل البيبلوغرافية
العنوان: |
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 |