Collaborations - Laboratoire de Recherche en Informatique

Coopérations avec LSV, ENS Cachan

Co-direction de thèse (depuis Sept. 2011)

Co-direction avec Stefan Haar de la thèse d'Hernán Ponce de León financée par le projet DIM DIGITEO TeCSTES "Testing of Concurrent Systems Through Event Structures".

Activités de recherche                                                    > Publications
  ° Test formel basé sur les modèles

Equipes :
  ° Vérification d'Algorithmes, Langages et Systèmes

Contact :
  LONGUET Delphine

Pour en savoir plus : http://www.lsv.ens-cachan.fr/