Autor der Publikation

SPTool - Equivalence Checker for SAND Attack Trees.

, , und . CRiSIS, Volume 10158 von Lecture Notes in Computer Science, Seite 105-113. Springer, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Symbolic Algorithm for the Analysis of Robust Timed Automata., , , und . FM, Volume 8442 von Lecture Notes in Computer Science, Seite 351-366. Springer, (2014)Symbolic Robustness Analysis of Timed Automata., und . FORMATS, Volume 4202 von Lecture Notes in Computer Science, Seite 143-155. Springer, (2006)Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0., , , , , und . QEST, Volume 9826 von Lecture Notes in Computer Science, Seite 159-162. Springer, (2016)Re-verification of a Lip Synchronization Protocol using Robust Reachability, , und . FMA, Volume 20 von EPTCS, Seite 49-62. (2009)SPTool - Equivalence Checker for SAND Attack Trees., , und . CRiSIS, Volume 10158 von Lecture Notes in Computer Science, Seite 105-113. Springer, (2016)