Accueil
>
Collaborations
> Coopérations
Présentation
Equipes
Collaborations
Contrats
Coopérations
Visiteurs
Production scientifique
Recrutements
Formation
Informations pratiques
Coopérations avec Université de York
Grant of the Royal Society (depuis Janv. 2006)
Etude du test basé sur des spécifications en CSP ou en CIRCUS
Activités de recherche
>
Publications
°
Test formel basé sur les modèles
Equipes :
°
Vérification d'Algorithmes, Langages et 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
