|
|
|
|
Laboratoire LABRI (UMR CNRS 5800)
Equipe Méthodes Formelles
Thèmes de 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é
Test de systèmes à base de composants
Validation
Test formel de systèmes
Test de protocoles
Position :
Maître de conférences depuis le 1er septembre 2005
Thèse :
Test robustesse des systèmes temps-réel
Directeur de thèse: Hacène Fouchal
Soutenue publiquement le 13 décembre 2004
Obtenue avec la mention très honorable
Télécharger
le PDF
Adresse professionnelle :
ENSEIRB
1 rue du Docteur Albert Schweitzer
Domain Universitaire
BP99
33402 Talence
email: antoine.rollet-AT-enseirb.fr
(remplacer -AT- par @)
tél: 05-40-00-35-34 (LABRI) ou 05-56-84-23-29 (ENSEIRB)
fax: 05-40-00-66-69
Année de naissance:
1978
|
|