Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > AISSAT Romain
Présentation
M. AISSAT Romain

ATTENTION : ce membre a quitté le laboratoire le 31/01/2017
 
Doctorant
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel : 0169156658
Fax :
Bureau : 67/PCRI-S

Page personnelle : http://www.lri.fr/~aissat/
Courrier électronique : Romain.Aissat@lri.fr

Activités de recherche
   - Test formel basé sur les modèles