SESAME DIGIPODS UPS - Region IDF
   Interaction collaborative à distance entre plateformes de visualisation hétérogènes

> tous les visiteurs

° 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