Bonjour,
J'ai le plaisir de vous inviter à la soutenance de la thèse de Ariel STULMAN
le 15 décembre 2005 à 14h.30 Salle Lucien BERNARD Bat 6 (Salle 206)
UFR des Sciences exactes et naturelles -Campus Moulins de la Housse Rond Point La défense
Intitulée :
Contributions aux méthodes de tests des implémentations spécifiées à l’aide
d’automates temporisées ( Timed Input Output State Machines)
Algorithmes de recherche de séquences spécifiques et tests à distance.
Composition du Jury :
Président : Monsieur le Professeur Alain BUI (Université de REIMS)
Rapporteurs :
Monsieur le Professeur Guy VIDAL NAQUET ( Université d’ORSAY )
Monsieur le Professeur Hacène FOUCHAL (Université des ANTILLES )
Examinateurs :
Monsieur le Professeur Roland GROZ (CNET, Université de GRENOBLE)
Monsieur le Professeur H.G. MENDELBAUM ( JCT et Université PARIS 5)
Monsieur le Professeur Michael KRAJECKI ( Université de REIMS)
Directeur de la thèse :
Monsieur le Professeur Simon BLOCH (Université de REIMS)
Bien cordialement,
Simon BLOCH
------------------------------------------
Simon BLOCH
CReSTIC/LICA - Université de Reims Champagne-Ardenne
UFR Sciences Exactes et Naturelle
Département de Mathématiques/Informatique - Batiment 3
"Moulin de la Housse" - BP 1039
51687 REIMS CEDEX 2
Tél : 03.26.91.32.18
Fax : 03.26.91.33.97
E-Mail : simon.bloch@univ-reims.fr
Page personnelle |
------------------------------------------