Probabilistic verification of Architectural software models using SoftArc and Prism
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Reliability, risk and safety : back to the future ; ESREL (European Safety and Reliability) … annual conference ; Island of Rhodes, [5 - 9 September 2010] / Ale, Ben J. M. et al. (Hrsg.). - London : CRC Press, 2010. - S. 852-860. - ISBN 978-0-415-60427-7
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2011
- Creator
- URN
-
urn:nbn:de:bsz:352-opus-128390
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:48 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Haverkort, Boudewijn R.
- Kuntz, Matthias
- Leitner-Fischer, Florian
- Remke, Anne
- Roolvink, Stephan
- Bibliothek der Universität Konstanz
Time of origin
- 2011
Other Objects (12)
Probabilistic modelling and verification using RoboChart and PRISM
Advances in probabilistic model checking with PRISM
Counterexamples in probabilistic verification
Advances in Symbolic Probabilistic Model Checking with PRISM
Comalcalco, Architectural Sculpture (CML: Arc.)
Palenque, Architectural Sculpture (PAL: Arc.)
San Gervasio, Architectural Sculpture (SNG: Arc.)
El Tabasqueño, Architectural Sculpture (TBS: Arc.)
Automated deductive verification of probabilistic programs
A Deductive Verification Infrastructure for Probabilistic Programs
Yaxuna, Architectural Sculpture (YXN: Arc., Str. 6F-68)
Verification and control of partially observable probabilistic systems
Probabilistic modelling and verification using RoboChart and PRISM
Advances in probabilistic model checking with PRISM
Counterexamples in probabilistic verification
Advances in Symbolic Probabilistic Model Checking with PRISM
Comalcalco, Architectural Sculpture (CML: Arc.)
Palenque, Architectural Sculpture (PAL: Arc.)
San Gervasio, Architectural Sculpture (SNG: Arc.)
El Tabasqueño, Architectural Sculpture (TBS: Arc.)
Automated deductive verification of probabilistic programs
A Deductive Verification Infrastructure for Probabilistic Programs
Yaxuna, Architectural Sculpture (YXN: Arc., Str. 6F-68)
Verification and control of partially observable probabilistic systems
Probabilistic modelling and verification using RoboChart and PRISM
Advances in probabilistic model checking with PRISM
Counterexamples in probabilistic verification
Advances in Symbolic Probabilistic Model Checking with PRISM
Comalcalco, Architectural Sculpture (CML: Arc.)
Palenque, Architectural Sculpture (PAL: Arc.)
San Gervasio, Architectural Sculpture (SNG: Arc.)
El Tabasqueño, Architectural Sculpture (TBS: Arc.)
Automated deductive verification of probabilistic programs
A Deductive Verification Infrastructure for Probabilistic Programs
Yaxuna, Architectural Sculpture (YXN: Arc., Str. 6F-68)