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). The work is related to Model-based control of adaptative systems (see section  6.3.4 ).


previous
next

Logo Inria