Grenoble INP Rubrique Recherche 2022

Antoine Girard : Modèles symboliques de systèmes dynamiques - un pas vers la conception de systèmes embarqués sûrs