Membre
Fiche Membre
Composante(s) d’expertise Pôle associée(s)
Génie de la programmation, du logiciel et des systèmesModel-checkingModélisation
Expertises équipes
Méthodes formelles de preuve et de vérification de systèmes complexesModélisation et analyse de systèmes complexes issus de l'écologie et de la santéModélisation et méta-modélisation pour l'industriePas de publications référencées sur HAL
Pas de projets référencées pour l’instant
Pas de plateformes référencées pour l’instant
Pas de logiciels de référencés pour l’instant