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

DIGITEO
Sept. 2011 - Août 2014

Equipe : Vérification d'Algorithmes, Langages et Systèmes
Responsable : BOLDO Sylvie

Gestionnaire : 
Organisme gérant : INRIA
Contrats
° IUF
FABIO MARTIGNON
SUBVENTION

° DIGISCOPE UPS
INFRASTRUCTURE HAUTE PERFORMANCE POUR LA VISUALISATION INTERACTIVE ET COLLABORATIVE
ANR

° DIGISCOPE CNRS
INFRASTRUCTURE HAUTE PERFORMANCE POUR LA VISUALISATION INTERACTIVE ET COLLABORATIVE
ANR

° LCHIP
LCHIP

° DIGISCOPE INRIA
INFRASTRUCTURE HAUTE PERFORMANCE POUR LA VISUALISATION INTERACTIVE ET COLLABORATIVE
ANR