Home
>
Collaborations
> Collaborations
About LRI
Groups
Collaborations
Contracts and grants
Collaborations
Visitors
Research results
Open positions
Teaching
Useful informations
Collaboration with Université de York
Grant of the Royal Society (since Jan 2006)
Elaboration of testing methods based on CSP or CIRCUS specifications
Research activities:
>
Publications
°
Formal Model-Based Testing
Groups:
°
Verification of Algorithms, Languages and Systems
Contact:
More information:
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
