Antoine ROLLET
Antoine Rollet Maître de Conférences (ENSEIRB)

Équipe LaBRI : Méthodes formelles
Fonction administrative :
Page personnelle : http://www.labri.fr/~rollet
Courrier électronique : antoine.rolletarobaselabri.fr
Bureau : 115
Tél : +33 (0)5 40 00 69 08


Recherche

Test de systèmes temps-réel
Test de systèmes embarqués
Test de robustesse (de systèmes temps-réels)
Test de conformité
Validation
Test formel de systèmes
Test de protocoles
Test de logiciel

Page mise à jour le 13/08/2010 à 10:56