Hochschulschrift

Formale Beschreibung und automatisierte Verifikation von sequentiellem Hardwareverhalten auf der Basis von Logik höherer Ordnung

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783861116684
3861116685
Maße
21 cm
Umfang
V, 262 S.
Ausgabe
Als Ms. gedr.
Sprache
Deutsch
Anmerkungen
graph. Darst.
Zugl.: Passau, Univ., Diss., 1993

Schlagwort
Digitales System
VLSI
Logischer Entwurf
Schaltungsentwurf
Zeitverhalten
Formale Beschreibungstechnik
Digitales System
VLSI
Logischer Entwurf
Schaltungsentwurf
Zeitverhalten
Hardwareverifikation

Ereignis
Veröffentlichung
(wo)
Aachen
(wer)
Shaker
(wann)
1993
Urheber
Mutz, Matthias

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:07 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

  • Mutz, Matthias
  • Shaker

Entstanden

  • 1993

Ähnliche Objekte (12)