|
 |
Doctorant
Université Paris-Saclay
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
|
