 |
 |
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é
|