Français Anglais
Accueil Annuaire Plan du site
Accueil > Collaborations > Coopérations
Collaborations
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 :
  GAUDEL Marie-Claude

Pour en savoir plus :