La méthode et le logiciel EBIOS sont disponibles à cette adresse. Il faut formaliser le contenu de ce document en utilisant la méthode EBIOS.
Slides présentés en cours.
Référence du langage promela
Faire les exercices suivants.