Automatic Verification of Embedded Software of Automotive Electronic Modules based on Program Traces Executions
Keyword(s):
2009 ◽
Vol 42
(8)
◽
pp. 238-245
◽
2009 ◽
Vol 129
(2)
◽
pp. 355-365
◽
2010 ◽
Vol 130
(3)
◽
pp. 496-502
2016 ◽
Vol 136
(3)
◽
pp. 423-433
Keyword(s):