Verification and analysis of domain-specific models of physical characteristics in embedded control software
2012 ◽
Vol 54
(12)
◽
pp. 1432-1453
◽
2012 ◽
Vol 13
(1)
◽
pp. 55-81
◽
Keyword(s):
2010 ◽
Vol 98
(4)
◽
pp. 546-561
◽