Accessibility setting

Section: Partnerships and Cooperations

National Initiatives

ANR

• ANR MALTHY, Méthodes ALgèbriques pour la vérification de modèles Temporisés et HYbrides, Thao Dang, 4 years, Inria and VISEO and CEA and VERIMAG

• ANR COGITO, Runtime Code Generation to Secure Devices,, 3 years, Inria and CEA and ENSMSE and XLIM.