8 results  save search


...
tel-00842406v1  Theses
Alexandru Robert Ciprian Guduvan. Une approche dirigée par les modèles pour le développement de tests pour systèmes avioniques embarqués
Informatique et langage [cs.CL]. Institut Superieur de L' Aeronautique et de l'Espace, 2013. Français