Projets de recherche

2 contrats

Début Fin Acronyme Type Titre Équipe(s) Responsable Partenaires
2014 2019 PACS ANR Parametric Analyses of Concurrent Systems LCR
LIAFA, IRCCyN, LINA, Aalborg
2015 2018 Elica ANR Expanding Logical Ideas for Complexity Analysis LCR
LIP (ENS Lyon), Loria (INRIA Carte), Università di Bologna (INRIA Focus)