Publications

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