Date of Award | 2004 |
---|---|
Original language | English |
Supervisor | 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 › Doctor of Sciences