• Media type: E-Book
  • Title: Formal Performability Evaluation of Architectural Models of Critical Infrastructures
  • Contributor: Haverkort, Boudewijn R. [Author]; Kuntz, Matthias [Author]; Remke, Anne [Author]; Roolvink, Stephan [Other]
  • Published: Konstanz: Bibliothek der Universität Konstanz, 2010
  • Extent: Online-Ressource
  • Language: English
  • Identifier:
  • Origination:
  • Footnote: Aus: Reliability, risk and safety : back to the future ; ESREL (European Safety and Reliability) ... annual conference ; Island of Rhodes, [5 - 9 September 2010] / ed.: Ben J. M. Ale ...[Ed.]. - London : CRC Press, 2010. - pp. 27-34. - ISBN 978-0-415-60427-7
  • Access State: Open Access