Home
> Collaborations
About LRI
Groups
Collaborations
Visitors
Research results
Open positions
Teaching
Useful informations
Contracts & grants
SESAME DIGIPODS UPS
- Region IDF
Remote Collaborative Interaction Among Heterogeneous Visualization Platforms
> more contracts & grants
Visitors
> more visitors
Collaborations
°
AdaCore SAS
and
Verification of Algorithms, Languages and Systems
°
LSV, ENS Cachan
and
Verification of Algorithms, Languages and Systems
°
System X FSF
and
Verification of Algorithms, Languages and Systems
°
International Joint Project MoBasT
and
Verification of Algorithms, Languages and Systems
°
GDR Informatique Mathématique
> more collaborations
