Modeling and Verification of MRSCAN Based on MapReduce Framework
['Zhengkang Zuo', 'Yuhan Ke', 'Ying Hu', 'Qing Huang', 'Zhicheng Zeng', 'Changjing Wang']
/
IEEE Transactions on Reliability
/ Vol. 74
/ No. 3