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

Abstract

Date of Award2004
Original languageEnglish
SupervisorPierre-Yves Schobbens (Jury)

Cite this

Un Cadre Formel pour la Modélisation Hétérogène et la Vérification Compositionnelle des Systèmes Avioniques Modulaires Intégrés
Delmas, R. (Author). 2004

Student thesis: Doc typesDoctor of Sciences