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

Industriel
Nov. 2011 - Nov. 2016

Equipe : Vérification d'Algorithmes, Langages et Systèmes
Responsable : GAUDEL Marie-Claude

Gestionnaire : 
Organisme gérant : CEPHYTEN

CIFRE ALL4TEC



Activités de recherche

Membres LRI



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

° ATOS/BULL
CONTRAT ATOS/BULL
INDUSTRIEL

° LCHIP
LCHIP