Quantitative Analysis of Software Fault-tolerance Design Modes Based on Probabilistic Model Checking.

Qi Shao, Weiwei Chen, Fuping Zeng, Zhijie Gao, Zhiyu Duan, Ouya Lin

Browse the full QRS paper archive.