The Quantitative Analysis of Approximate Correctness for Real-Time Systems
Robert Allen
◽
Steve Vestal
◽
Dennis Cornhill
◽
Bruce Lewis
Laura Carnevali
◽
Enrico Vicario
◽
Johnny Giuntini
2011 ◽
Vol 54
(9)
◽
pp. 78-87
◽
Patricia Bouyer
◽
Uli Fahrenberg
◽
Kim G. Larsen
◽
Nicolas Markey
1992 ◽
Vol 38
(3)
◽
pp. 112
1991 ◽
Vol 6
(3)
◽
pp. 93
◽
Houssine Chetto
◽
Maryline Chetto
2017 ◽
Vol 7
(5)
◽
pp. 148-155
Pallab Banerjee
◽
◽
Riya Shree
◽
Richa Kumari Verma
◽
◽
...
2011 ◽
Vol 34
(5)
◽
pp. 943-950
◽
2013 ◽
Vol 32
(2)
◽
pp. 573-577
Zhi-bang YANG
◽
Cheng XU
◽
Xu ZHOU
◽
Xue-qing ZHU