Accueil
> Collaborations
Présentation
Equipes
Collaborations
Contrats
Coopérations
Visiteurs
Production scientifique
Recrutements
Formation
Informations pratiques
Contrats en cours
SESAME DIGIPODS UPS
- Region IDF
Interaction collaborative à distance entre plateformes de visualisation hétérogènes
> tous les contrats
Visiteurs
TEMAM OLIVIER
INRIA
09 1999 - 12 2012
JEBALIA MOHAMED
unknown
12 2011 - 12 2011
DELAVAL GWENAëL
unknown
10 2005 - 08 2007
> tous les visiteurs
Coopérations
°
AdaCore SAS
avec
Vérification d'Algorithmes, Langages et Systèmes
°
LSV, ENS Cachan
avec
Vérification d'Algorithmes, Langages et Systèmes
°
System X FSF
avec
Vérification d'Algorithmes, Langages et Systèmes
°
International Joint Project MoBasT
avec
Vérification d'Algorithmes, Langages et Systèmes
°
GDR Informatique Mathématique
> toutes les coopérations