Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
2009 ◽
pp. 153-168
◽
Keyword(s):
2014 ◽
Vol 184
(11)
◽
pp. 1237-1248
◽
Keyword(s):
2002 ◽
Vol 34
(11)
◽
pp. 8
Keyword(s):