Hochschulschrift
Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Deutsch
- Notes
-
Freiburg (Breisgau), Univ., Diss., 2011
- Classification
-
Informatik
- Keyword
-
Bisimulation ; Markov-Kette ; Binäres Entscheidungsdiagramm ; OBDD ; Gegenbeispiel ; Bounded Model Checking
- Creator
- URN
-
urn:nbn:de:bsz:25-opus-79328
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:48 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Symbolische Methoden für die Verifikation endlicher Zustandssysteme
Symbolische LTL-Verifikation von Petrinetzen
Symbolische LTL-Verifikation von Petrinetzen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Probabilistische Methoden für Nordseedeiche
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme
Probabilistische Informationsverarbeitung : Theorie, Methoden u.e. Experiment
Probabilistische Methoden zur kooperativen Wahrnehmung des Fahrzeugumfelds
Polynomielle probabilistische Komplexitätsklassen
Probabilistische Methoden im konstruktiven Ingenieurbau
Probabilistische Bewertung von Entrauchungsanlagen
Probabilistische Strukturen der Quantenmechanik
Symbolische Methoden für die Verifikation endlicher Zustandssysteme
Symbolische LTL-Verifikation von Petrinetzen
Symbolische LTL-Verifikation von Petrinetzen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Probabilistische Methoden für Nordseedeiche
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme
Probabilistische Informationsverarbeitung : Theorie, Methoden u.e. Experiment
Probabilistische Methoden zur kooperativen Wahrnehmung des Fahrzeugumfelds
Polynomielle probabilistische Komplexitätsklassen
Probabilistische Methoden im konstruktiven Ingenieurbau
Probabilistische Bewertung von Entrauchungsanlagen
Probabilistische Strukturen der Quantenmechanik
Symbolische Methoden für die Verifikation endlicher Zustandssysteme
Symbolische LTL-Verifikation von Petrinetzen
Symbolische LTL-Verifikation von Petrinetzen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Probabilistische Methoden für Nordseedeiche
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme
Probabilistische Informationsverarbeitung : Theorie, Methoden u.e. Experiment
Probabilistische Methoden zur kooperativen Wahrnehmung des Fahrzeugumfelds
Polynomielle probabilistische Komplexitätsklassen
Probabilistische Methoden im konstruktiven Ingenieurbau
Probabilistische Bewertung von Entrauchungsanlagen