Accueil
>
Collaborations
> Coopérations
Présentation
Equipes
Collaborations
Contrats
Coopérations
Visiteurs
Production scientifique
Recrutements
Formation
Informations pratiques
Coopérations avec Université Pierre et Marie Curie
(depuis Janv. 1970)
Recherches communes sur les protocoles résistants aux attaques distribuées et coordonnées.
Activités de recherche
>
Publications
Equipes :
Contact :
Pour en savoir plus :
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
