Hochschulschrift
Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Sprache
-
Deutsch
- Anmerkungen
-
Freiburg (Breisgau), Univ., Diss., 2011
- Klassifikation
-
Informatik
- Schlagwort
-
Bisimulation ; Markov-Kette ; Binäres Entscheidungsdiagramm ; OBDD ; Gegenbeispiel ; Bounded Model Checking
- Urheber
- URN
-
urn:nbn:de:bsz:25-opus-79328
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:37 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
Ähnliche Objekte (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 Strukturen der Quantenmechanik
Probabilistische Fahrzeugumfeldschätzung für Fahrerassistenzsysteme
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 Strukturen der Quantenmechanik
Probabilistische Fahrzeugumfeldschätzung für Fahrerassistenzsysteme
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 Strukturen der Quantenmechanik