Acte de conférence, colloque et atelier

Model Based Testing of Automotive Software: Some Challenges and Solution

Petrenko, A., Nguena Timo O., Ramesh, S. and Assaf, T. "Model Based Testing of Automotive Software: Some Challenges and Solution" in Proceedings of the 52nd Annual Design Automation Conference (DAC 2015), pp. 1-6. San Francisco, USA, du 7 au 11 juin 2015