- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826514005
3826514009
- Dimensions
-
21 cm
- Extent
-
III, 177 S.
- Edition
-
Als Ms. gedr.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Karlsruhe, Univ., Diss., 1996
- Keyword
-
VLSI
MOS-FET
MOS-Schaltung
Zeitverhalten
Formale Spezifikationstechnik
Hardwareverifikation
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Shaker
- (when)
-
1996
- Creator
-
Frössl, Jürgen
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:04 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Frössl, Jürgen
- Shaker
Time of origin
- 1996
Other Objects (12)
Ein Rechnerwerkzeug zur formalen Verifikation diskret gesteuerter verfahrenstechnischer Prozesse
Formale Beschreibung und automatisierte Verifikation von sequentiellem Hardwareverhalten auf der Basis von Logik höherer Ordnung
Entwurf und Verifikation von Ablaufsteuerungen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Modulare Spezifikation und Verifikation objektbasierter Programme
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Verifikation entfaltbarer Composite-Booms für Gossamer-Raumfahrtsysteme
Generierung und Verifikation von Geländedatenbanken für Luftfahrzeuge
Psychoakustische Verifikation von Computermodellen zur binauralen Raumsimulation
Verifikation und Validation paralleler Busse in Leittechnik-Systemen
Verifikation von Schaltungsbeschreibungen auf höheren Ebenen durch Rückübersetzung
Ein Rechnerwerkzeug zur formalen Verifikation diskret gesteuerter verfahrenstechnischer Prozesse
Formale Beschreibung und automatisierte Verifikation von sequentiellem Hardwareverhalten auf der Basis von Logik höherer Ordnung
Entwurf und Verifikation von Ablaufsteuerungen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Modulare Spezifikation und Verifikation objektbasierter Programme
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Verifikation entfaltbarer Composite-Booms für Gossamer-Raumfahrtsysteme
Generierung und Verifikation von Geländedatenbanken für Luftfahrzeuge
Psychoakustische Verifikation von Computermodellen zur binauralen Raumsimulation
Verifikation und Validation paralleler Busse in Leittechnik-Systemen
Verifikation von Schaltungsbeschreibungen auf höheren Ebenen durch Rückübersetzung
Ein Rechnerwerkzeug zur formalen Verifikation diskret gesteuerter verfahrenstechnischer Prozesse
Formale Beschreibung und automatisierte Verifikation von sequentiellem Hardwareverhalten auf der Basis von Logik höherer Ordnung
Entwurf und Verifikation von Ablaufsteuerungen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Modulare Spezifikation und Verifikation objektbasierter Programme
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Verifikation entfaltbarer Composite-Booms für Gossamer-Raumfahrtsysteme
Generierung und Verifikation von Geländedatenbanken für Luftfahrzeuge
Psychoakustische Verifikation von Computermodellen zur binauralen Raumsimulation
Verifikation und Validation paralleler Busse in Leittechnik-Systemen