- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Aachen, Techn. Hochsch., Diss., 2009
- Schlagwort
-
Richtigkeit von Ergebnissen ; Model Checking ; Stochastischer Automat ; Markov-Modell
- Urheber
- URN
-
urn:nbn:de:hbz:82-opus-31398
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:54 MEZ
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
Ähnliche Objekte (12)
Automatic and probabilistic foehn diagnosis with a statistical mixture model
Probabilistic Safety Analysis of Executable Models
Parameter synthesis for probabilistic systems
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Probabilistic retrieval models (20.4.2011)
Probabilistic Fault Tree Synthesis using Causality Computation
Probabilistic techniques in analysis
Probabilistic reaction time analysis
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select
Probabilistic graphical models for credibility analysis in evolving online communities
Advances in probabilistic graphical models
Probabilistic models of chaotic maps
Automatic and probabilistic foehn diagnosis with a statistical mixture model
Probabilistic Safety Analysis of Executable Models
Parameter synthesis for probabilistic systems
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Probabilistic retrieval models (20.4.2011)
Probabilistic Fault Tree Synthesis using Causality Computation
Probabilistic techniques in analysis
Probabilistic reaction time analysis
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select
Probabilistic graphical models for credibility analysis in evolving online communities
Advances in probabilistic graphical models
Probabilistic models of chaotic maps
Automatic and probabilistic foehn diagnosis with a statistical mixture model
Probabilistic Safety Analysis of Executable Models
Parameter synthesis for probabilistic systems
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Probabilistic retrieval models (20.4.2011)
Probabilistic Fault Tree Synthesis using Causality Computation
Probabilistic techniques in analysis
Probabilistic reaction time analysis
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select
Probabilistic graphical models for credibility analysis in evolving online communities
Advances in probabilistic graphical models