Home
>
Collaborations
> Collaborations
About LRI
Groups
Collaborations
Contracts and grants
Collaborations
Visitors
Research results
Open positions
Teaching
Useful informations
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/
Collaborations
°
AdaCore SAS
avec
Verification of Algorithms, Languages and Systems
°
LSV, ENS Cachan
avec
Verification of Algorithms, Languages and Systems
°
System X FSF
avec
Verification of Algorithms, Languages and Systems
°
International Joint Project MoBasT
avec
Verification of Algorithms, Languages and Systems
°
GDR Informatique Mathématique
> more collaborations
