Français Anglais
Accueil Annuaire Plan du site
Home > Collaborations > Collaborations
Collaborations
Collaboration with LSV, ENS Cachan
PhD thesis co-supervision (since Sep 2011)
Co-supervision with Stefan Haar of Hernán Ponce de León's PhD thesis funded by the DIM DIGITEO project TeCSTES "Testing of Concurrent Systems Through Event Structures".

Research activities:                                                    > Publications
  ° Formal Model-Based Testing

Groups:
  ° Verification of Algorithms, Languages and Systems

Contact:
  LONGUET Delphine

More information: http://www.lsv.ens-cachan.fr/