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