Automated Reliability Analysis of Redundancy Architectures Using Statistical Model Checking.

Hongbin He, Hongyu Kuang, Lin Yang, Feng Yang, Qiang Wang, Weipeng Cao

Browse the full KSEM paper archive.