Section: Partnerships and Cooperations
European Initiatives
Collaborations with Major European Organizations
We have a strong collaboration with the Technische Universität Braunschweig in Germany. In particular, Sophie Quinton actively participates in the CCC project (http://ccc-project.org/ ) to provide methods and mechanisms for the verification of software updates after deployment in safety-critical systems.