EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Vicario, E.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2015

Kumar, Rajesh and Ruijters, E.J.J. and Stoelinga, M.I.A. (2015) Quantitative Attack Tree Analysis via Priced Timed Automata. In: Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015), 2-4 Sept 2015, Madrid, Spain. pp. 156-171. Lecture Notes in Computer Science 9268 . Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-22974-4

This list was generated on Mon May 29 06:48:40 CEST 2017.