Team Pop Art

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Other Grants and Activities

International actions

CMCU Tunisia

We have a cooperation in the framework of CMCU (Comité Mixte pour la Coopération Universitaire ), on the topic of analysis and verification of the safety of safety-critical systems, with ENSI (Ecole Nationale des Sciences de l'Informatique ) at La Manouba in Tunisia. The other French partner is GIPSA (team of H. Alla).


previous
next

Logo Inria