Soutenances

Thèse - 
LIG - Equipe HADAS - 
23 Nov 2009
 

Composition dynamique de fonctionnalités de dispositifs en réseau dans le WEB sémantique

Sattisvar TANDABANY
Thèse - 
VERIMAG - 
28 Oct 2009
 

Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics

Colas LE GUERNIC
Thèse - 
LIG - Equipe VASCO - 
07 Oct 2009
 

Validation de Métriques de Testabilité Logicielle pour Les Programmes Objets

Muhammad Rabee SHAHEEN
Thèse - 
LIG - Equipe GETALP - 
25 Sep 2009
 

Dialogue «tchaté» en langue seconde médié et assisté par ordinateur

Achille FALAISE