Quantitative Attack Tree Analysis via Priced Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rajesh Kumar, Enno Ruijters, Mariëlle Stoelinga. Quantitative Attack Tree Analysis via Priced Timed Automata. In Sriram Sankaranarayanan, Enrico Vicario, editors, Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Volume 9268 of Lecture Notes in Computer Science, pages 156-171, Springer, 2015. [doi]

This author has not been identified. Look up 'Rajesh Kumar' in GoogleThis author has not been identified. Look up 'Enno Ruijters' in GoogleThis author has not been identified. Look up 'Mariëlle Stoelinga' in Google

runs on WebDSL