Français Anglais
Accueil Annuaire Plan du site
Production scientifique
Contrat de l'équipe Toccata
CAT

ANR
Déc. 2005 - Août 2009

Equipe : Toccata
Responsable : FILLIÂTRE Jean-Christophe

Gestionnaire : 
Organisme gérant : INRIA

C Analysis Toolbox



Activités de recherche
  Vérification
  Preuve de programme
  Programmation
  Logique

Membres LRI
FILLIÂTRE Jean-Christophe
MARCHÉ Claude



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

° ERC ONE
ERC ONE
CONTRAT EUROPEEN

° NEXT
NEXT

° SOFTQPRO
SOFTQPRO
ANR