- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
Jena, Univ., Diss., 2003
- Keyword
-
Digitales System
Hardwareverifikation
Formale Methode
Petri-Netz
Kontrollfluss
VHDL
Digitales System
Hardwareverifikation
Petri-Netz
- Creator
- URN
-
urn:nbn:de:gbv:27-20060809-123458-6urn:nbn:de:gbv:27-20060809-123458-6
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:41 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)
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]
Symbolische LTL-Verifikation von Petrinetzen
Symbolische LTL-Verifikation von Petrinetzen
Verifikation von halbgeordneten Abläufen in Petrinetzen
Ein Beitrag zur Verifikation von Kommunikationsprotokollen mit Petri-Netzen
Funktionelle Verifikation synchroner, digitaler Systeme
Formale Verifikation von MOS-Transistorschaltungen
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Ansätze zur formalen Verifikation analoger Schaltungen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]
Symbolische LTL-Verifikation von Petrinetzen
Symbolische LTL-Verifikation von Petrinetzen
Verifikation von halbgeordneten Abläufen in Petrinetzen
Ein Beitrag zur Verifikation von Kommunikationsprotokollen mit Petri-Netzen
Funktionelle Verifikation synchroner, digitaler Systeme
Formale Verifikation von MOS-Transistorschaltungen
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Ansätze zur formalen Verifikation analoger Schaltungen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]
Symbolische LTL-Verifikation von Petrinetzen
Symbolische LTL-Verifikation von Petrinetzen
Verifikation von halbgeordneten Abläufen in Petrinetzen
Ein Beitrag zur Verifikation von Kommunikationsprotokollen mit Petri-Netzen
Funktionelle Verifikation synchroner, digitaler Systeme
Formale Verifikation von MOS-Transistorschaltungen
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation