Publications
Export 1 results:
Author [ Title
] Type Year Filters: Keyword is Stochastic model checking and Author is M. I. A. Stoelinga [Clear All Filters]
.
2017. Quantitative security and safety analysis with attack-fault trees. Proceeding of the 18th IEEE International Symposium on High Assurance Systems Engineering, Singapore.
