Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is Q and Author is E. J. J. Ruijters  [Clear All Filters]
2015
Kumar R., Ruijters E.JJ, Stoelinga M.IA.  2015.  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.