Hochschulschrift

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

zu Verbundenen Objekten

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)

Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]

Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]

Sequentielle Logik

Sequentielle Logik

Formale Verifikation von MOS-Transistorschaltungen

Hochschulschrift

Formale Verifikation von MOS-Transistorschaltungen

Formale Verifikation digitaler Systeme mit Petrinetzen

Hochschulschrift

Formale Verifikation digitaler Systeme mit Petrinetzen

Formale Analyse und Verifikation von Programmen

Hochschulschrift

Formale Analyse und Verifikation von Programmen

Ansätze zur formalen Verifikation analoger Schaltungen

Hochschulschrift

Ansätze zur formalen Verifikation analoger Schaltungen

Formale Verifikation von Basistransformationen für Funktionsdarstellungen

Formale Verifikation von Basistransformationen für Funktionsdarstellungen

Formale Verifikation digitaler Systeme mit Petrinetzen

Hochschulschrift

Formale Verifikation digitaler Systeme mit Petrinetzen

Formale Logik

Formale Logik

Formale Logik

Formale Logik

Formale Logik

Formale Logik

Formale Logik

Formale Logik

Verbundene Objekte