Generating Sound and Resource-Aware Code from Hybrid Systems Models
2010 ◽
Vol 59
(9)
◽
pp. 1281-1294
◽
Keyword(s):
2014 ◽
Vol 111
◽
pp. 272-281
◽
Keyword(s):
2014 ◽
Vol 184
(11)
◽
pp. 1237-1248
◽
Keyword(s):
2010 ◽
Vol E93-B
(12)
◽
pp. 3647-3650