Publications
Export 1 results:
Author [ Title
] Type Year Filters: First Letter Of Title is Q and Author is Z. Aslanyan [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.


