Français Anglais
Accueil Annuaire Plan du site
Production scientifique
Contrat de l'équipe Vérification d'Algorithmes, Langages et Systèmes
CIFRE DASSAULT

CIFRE
Févr. 2005 - Janv. 2008

Equipe : Vérification d'Algorithmes, Langages et Systèmes
Responsable : MARCHÉ Claude

Gestionnaire : 
Organisme gérant : Université Paris XI

Thèse CIFRE Thierry Hubert



Activités de recherche
  Vérification
  Preuve de programme

Membres LRI
MARCHÉ Claude



Contrats
° SESAME DIGIPODS UPS
INTERACTION COLLABORATIVE à DISTANCE ENTRE PLATEFORMES DE VISUALISATION HéTéROGèNES
REGION IDF

° NEXT
NEXT