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

la date de réponse2004
langue originaleAnglais
SuperviseurPierre Yves Schobbens (Jury)

Contient cette citation

'