Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > TAHA Safouan
About LRI
Mr TAHA Safouan
Professeur assistant
Centrale Supélec
Verification of Algorithms, Languages and Systems

Tel :
Fax :
Office : 13/PCRI-S

Personal web page :
Email : safouan.taha@lri.fr









Software & Patents
   - TemporalOCL: Temporal OCL Plugin for Eclipse
   - Synchro CORAC: Synchronization mechanism for critical systems