- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Universität des Saarlandes, Diss., 2012
- Classification
-
Informatik
- Keyword
-
Stochastik ; Wahrscheinlichkeitsverteilung ; Messbarkeit
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Saarländische Universitäts- und Landesbibliothek
- (when)
-
2013
- Creator
-
Hahn, Ernst Moritz
- Contributor
-
Hermanns, Holger
- URN
-
urn:nbn:de:bsz:291-scidok-52591
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 14.08.2025, 10:53 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.
Object type
- Hochschulschrift
Associated
- Hahn, Ernst Moritz
- Hermanns, Holger
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2013
Other Objects (12)
Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems ; international autumn school ; advanced lectures
Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems
Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
Model checking pushdown systems
Model checking pushdown systems
Partially ordered stochastic conformance checking
Partially ordered stochastic conformance checking
Model checking compositional Markov systems
Statistical model checking and time-bounded reachability analysis for hybrid petri nets with multiple stochastic variables
Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning
Using model checking for system verification
Causality checking for complex system models
Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems ; international autumn school ; advanced lectures
Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems
Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
Model checking pushdown systems
Model checking pushdown systems
Partially ordered stochastic conformance checking
Partially ordered stochastic conformance checking
Model checking compositional Markov systems
Statistical model checking and time-bounded reachability analysis for hybrid petri nets with multiple stochastic variables
Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning
Using model checking for system verification
Causality checking for complex system models
Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems ; international autumn school ; advanced lectures
Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems
Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
Model checking pushdown systems
Model checking pushdown systems
Partially ordered stochastic conformance checking
Partially ordered stochastic conformance checking
Model checking compositional Markov systems
Statistical model checking and time-bounded reachability analysis for hybrid petri nets with multiple stochastic variables
Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning
Using model checking for system verification