Stochastic verification of run-time performance adaptation with field delay testing
Keyword(s):
2012 ◽
Vol 22
(4-5)
◽
pp. 574-613
◽