 |
 |
ATER Post-Doc
Université Paris-Saclay
Test Formel et Exploration de Systèmes
Tel :
Fax :
Bureau :
Page personnelle :
Courrier électronique : Mounir.Lallali@lri. |
Activités de recherche
- Vérification
- Test de Logiciels
- Modélisation
- Méthodes Formelles de Génie Logiciel
|
