Model-based testing of stochastically timed systems
2019 ◽
Vol 15
(3-4)
◽
pp. 207-233
◽
2011 ◽
Vol 34
(6)
◽
pp. 1012-1028
◽
Keyword(s):
2015 ◽
Vol 64
(9)
◽
pp. 2490-2505
◽
Keyword(s):