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 typesDoctor of Sciences

Date of Award2004
Original languageEnglish
SupervisorPierre Yves Schobbens (Jury)

Cite this

'