Publications
Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Title is Q and Author is D. Parker [Clear All Filters]
.
2016. Quantitative Verification and Synthesis of Attack-Defence Scenarios Conference. 29th IEEE Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal. :105–119.
