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 : HYPERLINK
"mailto:simon.bloch@univ-reims.fr"simon.bloch@univ-reims.fr

 


Page personnelle 

HYPERLINK "http://cosy.univ-reims.fr/~sbloch"
\nhttp://cosy.univ-reims.fr/~sbloch 

------------------------------------------

 


-- 
No virus found in this outgoing message.
Checked by AVG Free Edition.
Version: 7.1.371 / Virus Database: 267.13.12/193 - Release Date: 06/12/2005