Haverkort, Boudewijn R.
[Verfasser:in];
Kuntz, Matthias
[Verfasser:in];
Leitner-Fischer, Florian
[Verfasser:in]
;
Remke, Anne
[Sonstige Person, Familie und Körperschaft];
Roolvink, Stephan
[Sonstige Person, Familie und Körperschaft]
Probabilistic verification of Architectural software models using SoftArc and Prism
Erschienen:
Konstanz: Bibliothek der Universität Konstanz, 2010
Umfang:
Online-Ressource
Sprache:
Englisch
Identifikator:
Entstehung:
Anmerkungen:
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. 852-860. - ISBN 978-0-415-60427-7