|
 |
Doctorant
Université Paris-Saclay
Verification of Algorithms, Languages and Systems
Tel : 0169156658
Fax :
Office : 67/PCRI-S
Personal web page : http://www.lri.fr/~aissat/
Email : Romain.Aissat@lri.fr |
Research activities - Formal Model-Based Testing
|