Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems
Keyword(s):
2016 ◽
Vol 142
(10)
◽
pp. 04016035
◽
Keyword(s):
Keyword(s):
2007 ◽
Vol 9
(2-3)
◽
pp. 195-208
◽
2015 ◽
Vol 52
(7)
◽
pp. 895-921
◽
Keyword(s):
2016 ◽
Vol 122
◽
pp. 239-273
◽
Keyword(s):
Keyword(s):
Keyword(s):