TY - THES DP - http://www.theses.fr/2015ENST0082 TI - Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles AU - Richa, Elie A3 - Pautet, Laurent; Borde, Etienne PY - 2015 N1 - Thèse de doctorat Informatique et réseaux Paris, ENST 2015 N1 - 2015ENST0082 UR - http://www.theses.fr/2015ENST0082/document ER -