Faiez ZALILA - Admis au titre de docteur

Doctorat SURETE DE LOGICIEL ET CALCUL DE HAUTE PERFORMANCE

Thèse soutenue le 9 décembre 2014 - Institut National Polytechnique de Toulouse

Ecole doctorale : EDMITT - Ecole Doctorale Mathématiques, Informatique et Télécommunications de Toulouse

Sujet : Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés

Mots-clés de la thèse : ingénierie dirigée par les modèles,langages dédiés,Rétroingénierie,transformation des modèles,La vérification des modèles,systèmes critiques,

Direction de thèse : Yamine AIT AMEUR

Co-encadrement de thèse : Xavier CREGUT

Unité de recherche : IRIT : Institut de Recherche en Informatique de Toulouse UMR 5505 - Toulouse
Intitulé de l'équipe : ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées

Diplôme national de master -

obtenu en 0 - UT3
Langues Vivantes : Anglais C2 - Courant - Français C2 - Courant - Arabe C2 - Maternel

Dernière mise à jour le 26 février 2015