- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
20 cm
- Umfang
-
119 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Erlangen, Nürnberg, Univ., Diss., 1986
- Erschienen in
-
Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) / Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) ; Bd. 19, Nr. 4
- Ereignis
-
Veröffentlichung
- (wo)
-
Erlangen
- (wer)
-
Inst. für Math. Maschinen u. Datenverarbeitung (Informatik)
- (wann)
-
1986
- Urheber
-
Mühlfeld, Reinhard
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:58 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
- Mühlfeld, Reinhard
- Inst. für Math. Maschinen u. Datenverarbeitung (Informatik)
Entstanden
- 1986
Ähnliche Objekte (12)
Verifikation unvollständiger Schaltkreise
Verifikation unvollständiger Schaltkreise
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Vollständige funktionale Verifikation
Verifikation regelbasierter Konfigurationssysteme
Verifikation abstrakter Zustandsmaschinen
Automatische Verifikation stochastischer Systeme
Symbolische LTL-Verifikation von Petrinetzen
Symbolische LTL-Verifikation von Petrinetzen
SAT-basierte Verifikation von Graphtransformationseinheiten
Entwurf und Verifikation von Ablaufsteuerungen
Verifikation unvollständiger Schaltkreise
Verifikation unvollständiger Schaltkreise
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Vollständige funktionale Verifikation
Verifikation regelbasierter Konfigurationssysteme
Verifikation abstrakter Zustandsmaschinen
Automatische Verifikation stochastischer Systeme
Symbolische LTL-Verifikation von Petrinetzen
Symbolische LTL-Verifikation von Petrinetzen
SAT-basierte Verifikation von Graphtransformationseinheiten
Entwurf und Verifikation von Ablaufsteuerungen
Verifikation unvollständiger Schaltkreise
Verifikation unvollständiger Schaltkreise
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Vollständige funktionale Verifikation
Verifikation regelbasierter Konfigurationssysteme
Verifikation abstrakter Zustandsmaschinen
Automatische Verifikation stochastischer Systeme
Symbolische LTL-Verifikation von Petrinetzen
Symbolische LTL-Verifikation von Petrinetzen
SAT-basierte Verifikation von Graphtransformationseinheiten