Export 1 results:Author Title Type [ Year]
Filters: First Letter Of Title is M and Author is D. B. Poulsen [Clear All Filters]
Modelling Attack-defense Trees Using Timed Automata. 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, Quebec, QC, Canada. 9884:35–50.. 2016.