Hochschulschrift

Ansätze zur formalen Verifikation analoger Schaltungen

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783183257201
3183257203
Maße
21 cm
Umfang
X, 128 S.
Ausgabe
Als Ms. gedr.
Sprache
Deutsch
Anmerkungen
graph. Darst.
Zugl.: Hannover, Univ., Diss., 1997

Erschienen in
Fortschritt-Berichte VDI / 20 / Verein Deutscher Ingenieure ; Nr. 257, Reihe 20, Rechnerunterstützte Verfahren

Schlagwort
Analogschaltung
Entwurfsautomation
Formale Spezifikationstechnik
Hardwareverifikation

Ereignis
Veröffentlichung
(wo)
Düsseldorf
(wer)
VDI-Verl.
(wann)
1997
Urheber

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:35 MESZ

Datenpartner

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

Objekttyp

  • Hochschulschrift

Beteiligte

Entstanden

  • 1997

Ähnliche Objekte (12)

Eine Methode zur formalen Verifikation von RISC-Prozessoren

Hochschulschrift

Eine Methode zur formalen Verifikation von RISC-Prozessoren

Eine Methode zur formalen Verifikation von RISC-Prozessoren

Hochschulschrift

Eine Methode zur formalen Verifikation von RISC-Prozessoren

Ein Rechnerwerkzeug zur formalen Verifikation diskret gesteuerter verfahrenstechnischer Prozesse

Hochschulschrift

Ein Rechnerwerkzeug zur formalen Verifikation diskret gesteuerter verfahrenstechnischer Prozesse

Analoge Schaltungen

Analoge Schaltungen

Analoge Schaltungen

Analoge Schaltungen

Analoge Schaltungen

Analoge Schaltungen

Analoge Schaltungen

Analoge Schaltungen

Analoge Schaltungen

Analoge Schaltungen

Analoge Schaltungen

Analoge Schaltungen

Analoge Schaltungen

Analoge Schaltungen

Analoge Schaltungen

Analoge Schaltungen

Analoge Schaltungen

Analoge Schaltungen

Verbundene Objekte