Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > BOULANGER Frédéric
Présentation
M. BOULANGER Frédéric
BOULANGER Professeur des universités
Centrale Supélec
Vérification d'Algorithmes, Langages et Systèmes

Tel : 0169851484
Fax :
Bureau : 14/PCRI-S

Page personnelle : http://wdi.centralesupelec.fr/boulanger
Courrier électronique : frederic.boulanger@lri.fr


Publications





Responsabilités de contrats
   - Cifre Thèse Vssil Todorov


Logiciels et brevets
   - TESL : Tagged Events Specification Language
   - ModHelX : ModHel'X - A framework for heterogeneous modeling
   - Synchro CORAC : Procédé de synchronisation pour systèmes critiques


Thèses et habilitations
Habilitation à diriger des recherches   - Modèles, systèmes, hétérogénéité