Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Thèses et habilitations
Production scientifique
Thèse en cours de MEDIMEGH Slim
MEDIMEGH Slim
Thèse en cours
Equipe : Modélisation Hétérogène

Analyse formelle de spécifications hydrides à partir de modèles SysML pour la validation fonctionelle des systèmes embarqués

Début le 01/01/1970
Direction : BOULANGER, Frédéric

Financement :
Etablissement d'inscription : Centrale Supélec
Lieu de déroulement :

Soutenue le 01/01/1970 devant le jury composé de :

Activités de recherche :

Résumé :