la date de réponse | 2004 |
---|---|
langue originale | Anglais |
Superviseur | Pierre Yves Schobbens (Jury) |
Un Cadre Formel pour la Modélisation Hétérogène et la Vérification Compositionnelle des Systèmes Avioniques Modulaires Intégrés
Student thesis: Doc types › Docteur en Sciences