![](/img/cover-not-exists.png)
[ACM Press the 52nd Annual Design Automation Conference - San Francisco, California (2015.06.07-2015.06.11)] Proceedings of the 52nd Annual Design Automation Conference on - DAC '15 - Model-based testing of automotive software
Petrenko, Alexandre, Timo, Omer Nguena, Ramesh, S.Year:
2015
Language:
english
DOI:
10.1145/2744769.2747935
File:
PDF, 200 KB
english, 2015