- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
153 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Cottbus, Brandenburgische Techn. Univ., Diss., 2001
- Keyword
-
Stellen-Transitions-Netz
Verifikation
Model Checking
Prozessalgebra
Binäres Entscheidungsdiagramm
Temporale Logik
Komplexes System
Nebenläufigkeit
Petri-Netz
Spezifikationssprache
Model Checking
Temporale Logik
- Creator
-
Spranger, Jochen
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:04 PM CEST
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
Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]
Verifikation digitaler Schaltungen mittels symbolischer Simulation
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
Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]
Verifikation digitaler Schaltungen mittels symbolischer Simulation
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
Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]
Verifikation digitaler Schaltungen mittels symbolischer Simulation
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