Publications

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