TY - Int J Performability Eng A1 - Yanfang Ma, Liang Chen, and Haiyu Pan T1 - The Quantitative Analysis of Approximate Correctness for Real-Time Systems Y1 - 2017-10-01 JF - International Journal of Performability Engineering JO - Int J Performability Eng SP - 886 EP - 896 VL - 13 IS - 6 UR - https://www.ijpe-online.com N1 - 10.23940/ijpe.17.06.p10.886896 ER -