- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826514005
3826514009
- Maße
-
21 cm
- Umfang
-
III, 177 S.
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Karlsruhe, Univ., Diss., 1996
- Schlagwort
-
VLSI
MOS-FET
MOS-Schaltung
Zeitverhalten
Formale Spezifikationstechnik
Hardwareverifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Shaker
- (wann)
-
1996
- Urheber
-
Frössl, Jürgen
- 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:04 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
- Frössl, Jürgen
- Shaker
Entstanden
- 1996
Ähnliche Objekte (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
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Modulare Spezifikation und Verifikation objektbasierter Programme
Generierung und Verifikation von Geländedatenbanken für Luftfahrzeuge
Psychoakustische Verifikation von Computermodellen zur binauralen Raumsimulation
Verifikation entfaltbarer Composite-Booms für Gossamer-Raumfahrtsysteme
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
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Modulare Spezifikation und Verifikation objektbasierter Programme
Generierung und Verifikation von Geländedatenbanken für Luftfahrzeuge
Psychoakustische Verifikation von Computermodellen zur binauralen Raumsimulation
Verifikation entfaltbarer Composite-Booms für Gossamer-Raumfahrtsysteme
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
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Modulare Spezifikation und Verifikation objektbasierter Programme
Generierung und Verifikation von Geländedatenbanken für Luftfahrzeuge
Psychoakustische Verifikation von Computermodellen zur binauralen Raumsimulation
Verifikation entfaltbarer Composite-Booms für Gossamer-Raumfahrtsysteme
Verifikation und Validation paralleler Busse in Leittechnik-Systemen