Accueil
>
Collaborations
> Coopérations
Présentation
Equipes
Collaborations
Contrats
Coopérations
Visiteurs
Production scientifique
Recrutements
Formation
Informations pratiques
Coopérations avec Université d'Evry Val d'Essonne
(depuis Sept. 2008)
Activités de recherche
>
Publications
°
Méthodes Formelles de Génie Logiciel
Equipes :
°
Test Formel et Exploration de Systèmes
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
