 |
 |
Doctorant
Université Paris-Saclay
Test Formel et Exploration de Systèmes
Tel : 0174854260
Fax :
Bureau : 67/PCRI-S
Page personnelle : http://www.lri.fr/~bentakou/
Courrier électronique : bentakou@lri.fr |
Activités de recherche
- Vérification
- Test de Logiciels
- Méthodes Formelles de Génie Logiciel
Thèses et habilitations
Doctorat - Test symbolique de services Web composites
Participations à des contrats
- WebMov
|
