Hongbin He, Hongyu Kuang, Lin Yang, Feng Yang, Qiang Wang, Weipeng Cao. Automated Reliability Analysis of Redundancy Architectures Using Statistical Model Checking. In Gérard Memmi, Baijian Yang, Linghe Kong, Tianwei Zhang 0004, Meikang Qiu, editors, Knowledge Science, Engineering and Management - 15th International Conference, KSEM 2022, Singapore, August 6-8, 2022, Proceedings, Part III. Volume 13370 of Lecture Notes in Computer Science, pages 463-476, Springer, 2022. [doi]
Abstract is missing.