Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > ROUX Mattias
Présentation
M. ROUX Mattias
Doctorant
INRIA
Vérification d'Algorithmes, Langages et Systèmes

Tel : 0169153589
Fax :
Bureau : 39/PCRI-S

Page personnelle : https://www.lri.fr/~roux
Courrier électronique : roux@lri.fr


Publications









Thèses et habilitations
Thèse en cours   - Chrono cube : model checking de systèmes paramétrés et temporisés