En relation avec le sujet du cours

Utilisation des méthodes formelles pour la sécurisation de systèmes complexes : une avancée industrielle