Formal Performability Evaluation of Architectural Models of Critical Infrastructures

Boudewijn R.H.M. Haverkort, G.W.M. Kuntz, Anne Katharina Ingrid Remke, S. Roolvink, Ben J.M. Ale (Editor), Ioannis A. Papazoglou (Editor), Enrico Zio (Editor)

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Fingerprint

Dive into the research topics of 'Formal Performability Evaluation of Architectural Models of Critical Infrastructures'. Together they form a unique fingerprint.

Engineering & Materials Science