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

ANR
Janv. 2009 - Sept. 2012

Equipe : Toccata
Responsable : 

Gestionnaire : 
Organisme gérant : Université Paris XI

DEduction et CERTification



Activités de recherche
  Preuve de programme

Membres LRI



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