- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Universität des Saarlandes, Diss., 2015
- Identifier
-
106928985X
Thema
Zeitbehafteter Automat ; Stochastischer Automat ; Markov-Entscheidungsprozess ; Model Checking ; Verifikation ; Verifikation ; Model Checking ; Zeitbehafteter Automat ; Markov-Entscheidungsprozess ; Markov-Kette ; Stochastischer Automat ; Verteiltes System; Hochschulschrift
Beteiligte Personen und Organisationen
Hartmanns, Arnd
Hermanns, Holger
Hermanns, Holger
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:54 MEZ
Objekttyp
- Monografie
Beteiligte
- Hartmanns, Arnd
- Hermanns, Holger
Ähnliche Objekte (12)
On the analysis of stochastic timed systems
On the analysis of stochastic timed systems
Diagnosis, synthesis and analysis of probabilistic models
Model checking compositional Markov systems
Finite horizon analysis of Markov automata
Formale Analyse des Zeitverhaltens netzbasierter Automatisierungssysteme
Fallstudien mit dem Computer : Markow-Ketten u. weitere Beispiele aus d. linearen Algebra u. Wahrscheinlichkeitsrechnung
Spielbasierte Abstraktion von Markow-Automaten
Markoffsche Entscheidungsprozesse
Verification of multi-objective Markov models
Zur aggregierten Abbildung elementarer Gefechtsprozesse in hochauflösenden Gefechtssimulationssystemen
Causal Analysis and Repair of Systems
On the analysis of stochastic timed systems
On the analysis of stochastic timed systems
Diagnosis, synthesis and analysis of probabilistic models
Model checking compositional Markov systems
Finite horizon analysis of Markov automata
Formale Analyse des Zeitverhaltens netzbasierter Automatisierungssysteme
Fallstudien mit dem Computer : Markow-Ketten u. weitere Beispiele aus d. linearen Algebra u. Wahrscheinlichkeitsrechnung
Spielbasierte Abstraktion von Markow-Automaten
Markoffsche Entscheidungsprozesse
Verification of multi-objective Markov models
Zur aggregierten Abbildung elementarer Gefechtsprozesse in hochauflösenden Gefechtssimulationssystemen
Causal Analysis and Repair of Systems
On the analysis of stochastic timed systems
On the analysis of stochastic timed systems
Diagnosis, synthesis and analysis of probabilistic models
Model checking compositional Markov systems
Finite horizon analysis of Markov automata
Formale Analyse des Zeitverhaltens netzbasierter Automatisierungssysteme
Fallstudien mit dem Computer : Markow-Ketten u. weitere Beispiele aus d. linearen Algebra u. Wahrscheinlichkeitsrechnung
Spielbasierte Abstraktion von Markow-Automaten
Markoffsche Entscheidungsprozesse
Verification of multi-objective Markov models
Zur aggregierten Abbildung elementarer Gefechtsprozesse in hochauflösenden Gefechtssimulationssystemen