- Sprache
-
Englisch
- Umfang
-
VIII, 123 S.
- Maße
-
31 cm
- Anmerkungen
-
graph. Darst.
Dresden, Techn. Univ., Diss., 2008
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:28 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)
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Ontology-Mediated Probabilistic Model Checking : Extended Version
Certificates and Witnesses for Probabilistic Model Checking
Advances in probabilistic model checking with PRISM
Model Checking Temporal Properties of Recursive Probabilistic Programs
Advances in Symbolic Probabilistic Model Checking with PRISM
Alternative Automata-based Approaches to Probabilistic Model Checking
Alternative automata-based approaches to probabilistic model checking
Partial Order Reduction in Directed Model Checking
ProFeat : Feature-oriented engineering for family-based probabilistic model checking
Slicing and reduction techniques for model checking Petri nets
On symmetry reduction in model checking via graph canonicalisation
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Ontology-Mediated Probabilistic Model Checking : Extended Version
Certificates and Witnesses for Probabilistic Model Checking
Advances in probabilistic model checking with PRISM
Model Checking Temporal Properties of Recursive Probabilistic Programs
Advances in Symbolic Probabilistic Model Checking with PRISM
Alternative Automata-based Approaches to Probabilistic Model Checking
Alternative automata-based approaches to probabilistic model checking
Partial Order Reduction in Directed Model Checking
ProFeat : Feature-oriented engineering for family-based probabilistic model checking
Slicing and reduction techniques for model checking Petri nets
On symmetry reduction in model checking via graph canonicalisation
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Ontology-Mediated Probabilistic Model Checking : Extended Version
Certificates and Witnesses for Probabilistic Model Checking
Advances in probabilistic model checking with PRISM
Model Checking Temporal Properties of Recursive Probabilistic Programs
Advances in Symbolic Probabilistic Model Checking with PRISM
Alternative Automata-based Approaches to Probabilistic Model Checking
Alternative automata-based approaches to probabilistic model checking
Partial Order Reduction in Directed Model Checking
ProFeat : Feature-oriented engineering for family-based probabilistic model checking
Slicing and reduction techniques for model checking Petri nets