 |
 |
Doctorant
Université Paris-Saclay
Test Formel et Exploration de Systèmes
Tel : 0174854238
Fax :
Bureau :
Page personnelle : http://www.lri.fr/~oudinet
Courrier électronique : oudinet@lri.fr |
Activités de recherche
- Vérification
- Test de Logiciels
- Model-Checking
Publications
Logiciels et brevets
- RUKIA : Random Uniform walK In Automata
Thèses et habilitations
Doctorat - Approches combinatoires pour le test statistique à grande échelle
|
