Un Cadre Formel pour la Modélisation Hétérogène et la Vérification Compositionnelle des Systèmes Avioniques Modulaires Intégrés

  • Remi Delmas

Student thesis: Doc typesDocteur en Sciences

Résumé

la date de réponse2004
langue originaleAnglais
SuperviseurPIERRE-YVES SCHOBBENS (Jury)

Contient cette citation

'