
[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops - Model-Based Testing for the Second Generation of Integrated Modular Avionics
Efkemann, Christof, Peleska, JanAnnée:
2011
Langue:
english
DOI:
10.1109/ICSTW.2011.72
Fichier:
PDF, 308 KB
english, 2011