- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
VIII, 114 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Jena, Univ., Diss., 2003
- Schlagwort
-
Digitales System
Hardwareverifikation
Formale Methode
Petri-Netz
Kontrollfluss
VHDL
Digitales System
Hardwareverifikation
Petri-Netz
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:06 MEZ
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)
Formale Verifikation digitaler Systeme mit Petrinetzen
![Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
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
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata
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
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata
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
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata