- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Deutsch
- Notes
-
Cottbus, Brandenburgische Techn. Univ., Diss., 2001
- Keyword
-
Komplexes System
Nebenläufigkeit
Petri-Netz
Spezifikationssprache
Model Checking
Temporale Logik
Stellen-Transitions-Netz
Verifikation
Model Checking
Prozessalgebra
Binäres Entscheidungsdiagramm
Temporale Logik
- Creator
-
Spranger, Jochen
- URN
-
urn:nbn:de:kobv:co1-000000179
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 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
- Spranger, Jochen
Other Objects (12)
Symbolische LTL-Verifikation von Petrinetzen
Verifikation von halbgeordneten Abläufen in Petrinetzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Ein Beitrag zur Verifikation von Kommunikationsprotokollen mit Petri-Netzen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]
Symbolische Methoden für die Verifikation endlicher Zustandssysteme
Ein Beitrag zur Verifikation von Steueralgorithmen für Batchprozesse auf der Basis von Petri-Netzen
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme
Ein Beitrag zur Modellierung und Verifikation bei steuerungstechnischen Problemstellungen auf der Basis von Petri-Netzen
Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele
Symbolische LTL-Verifikation von Petrinetzen
Verifikation von halbgeordneten Abläufen in Petrinetzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Ein Beitrag zur Verifikation von Kommunikationsprotokollen mit Petri-Netzen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]
Symbolische Methoden für die Verifikation endlicher Zustandssysteme
Ein Beitrag zur Verifikation von Steueralgorithmen für Batchprozesse auf der Basis von Petri-Netzen
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme
Ein Beitrag zur Modellierung und Verifikation bei steuerungstechnischen Problemstellungen auf der Basis von Petri-Netzen
Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele
Symbolische LTL-Verifikation von Petrinetzen
Verifikation von halbgeordneten Abläufen in Petrinetzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Ein Beitrag zur Verifikation von Kommunikationsprotokollen mit Petri-Netzen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]
Symbolische Methoden für die Verifikation endlicher Zustandssysteme
Ein Beitrag zur Verifikation von Steueralgorithmen für Batchprozesse auf der Basis von Petri-Netzen
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme
Ein Beitrag zur Modellierung und Verifikation bei steuerungstechnischen Problemstellungen auf der Basis von Petri-Netzen