Export 1 results:Author Title Type [ Year]
Filters: First Letter Of Title is Q and Author is E. J. J. Ruijters [Clear All Filters]
Quantitative Attack Tree Analysis via Priced Timed Automata. Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, Madrid, Spain. 9268:156–171.. 2015.