Maxime Puys, Marie-Laure Potet, Jean-Louis Roch. Génération systématique de scénarios d'attaques contre des systèmes industriels.
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France.
⟨hal-01330949⟩