Site web https://www-verimag.imag.fr Nom complet Méthodes formelles et outils pour une informatique sûre et sécurisée, applications aux systèmes cyber-physiques Direction David Monniaux