Hochschulschrift
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
- Weitere Titel
-
Das Demaskieren der Fehlertoleranz - Vom Quantifizieren deterministischer Wiederherstellungsdynamiken in probabilistischen Umgebungen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Oldenburg, Universität Oldenburg, Diss., 2014
- Ereignis
-
Veröffentlichung
- (wo)
-
Oldenburg
- (wer)
-
BIS der Universität Oldenburg
- (wann)
-
2014
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:gbv:715-oops-19320
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:02 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
- Müllner, Nils Henning
- Theel, Oliver
- Katoen, Joost-Pieter
- BIS der Universität Oldenburg
Entstanden
- 2014
Ähnliche Objekte (12)
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
Concepts, algorithms, and tools for model checking
Dynamic fault trees: semantics, analysis and applications
Formal methods for real time and probabilistic systems : proceedings
Multi-objective Optimization of Long-run Average and Total Rewards
Automatically Finding the Right Probabilities in Bayesian Networks
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Verification of pointer programs
Bayesian Inference by Symbolic Model Checking
Sound Value Iteration
Fine-Tuning the Odds in Bayesian Networks
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
Concepts, algorithms, and tools for model checking
Dynamic fault trees: semantics, analysis and applications
Formal methods for real time and probabilistic systems : proceedings
Multi-objective Optimization of Long-run Average and Total Rewards
Automatically Finding the Right Probabilities in Bayesian Networks
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Verification of pointer programs
Bayesian Inference by Symbolic Model Checking
Sound Value Iteration
Fine-Tuning the Odds in Bayesian Networks
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
Concepts, algorithms, and tools for model checking
Dynamic fault trees: semantics, analysis and applications
Formal methods for real time and probabilistic systems : proceedings
Multi-objective Optimization of Long-run Average and Total Rewards
Automatically Finding the Right Probabilities in Bayesian Networks
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Verification of pointer programs
Bayesian Inference by Symbolic Model Checking
Sound Value Iteration