Communication Dans Un Congrès
Année : 2017
Barbara Fila : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01483163
Soumis le : samedi 4 mars 2017-21:36:47
Dernière modification le : vendredi 24 mars 2023-14:53:04
Citer
Barbara Kordy, Kordy Piotr, van den Boom Yoann. SPTool - Equivalence Checker for SAND Attack Trees. Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers, Sep 2016, Roscoff, France. pp.105-113, ⟨10.1007/978-3-319-54876-0_8⟩. ⟨hal-01483163⟩
Collections
170
Consultations
0
Téléchargements