- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Universität des Saarlandes, Diss., 2012
- Klassifikation
-
Informatik
- Schlagwort
-
Stochastik ; Wahrscheinlichkeitsverteilung ; Messbarkeit
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Saarländische Universitäts- und Landesbibliothek
- (wann)
-
2013
- Urheber
-
Hahn, Ernst Moritz
- Beteiligte Personen und Organisationen
-
Hermanns, Holger
- URN
-
urn:nbn:de:bsz:291-scidok-52591
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:53 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Hahn, Ernst Moritz
- Hermanns, Holger
- Saarländische Universitäts- und Landesbibliothek
Entstanden
- 2013
Ähnliche Objekte (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