Accéder directement au contenu

François Schwarzentruber

1
Documents
Identifiants chercheurs

Présentation

Publications

1026786

Deciding the Non-emptiness of Attack Trees

Maxime Audinot , François Schwarzentruber , Florence Florence Wacheux
5th International Workshop on Graphical Models for Security, Jul 2018, Oxford, United Kingdom
Communication dans un congrès hal-02533499v1