Hochschulschrift
Ein Rahmen zur Verifikation von SPS-Funktionsbausteinen in HOL
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826543678
382654367X
- Dimensions
-
21 cm
- Extent
-
VI, 201 S.
- Edition
-
Als Ms. gedr.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Hagen, Fernuniv., Diss., 1998
- Keyword
-
Speicherprogrammierte Steuerung
Verifikation
HOL
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:04 PM CET
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
- Völker, Norbert
- Shaker
Time of origin
- 1998
Other Objects (12)
Entwurf und Verifikation von Ablaufsteuerungen
Formale Verifikation von MOS-Transistorschaltungen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Modulare Spezifikation und Verifikation objektbasierter Programme
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Psychoakustische Verifikation von Computermodellen zur binauralen Raumsimulation
Generierung und Verifikation von Geländedatenbanken für Luftfahrzeuge
Verifikation entfaltbarer Composite-Booms für Gossamer-Raumfahrtsysteme
Verifikation von Schaltungsbeschreibungen auf höheren Ebenen durch Rückübersetzung
Verifikation und Validation paralleler Busse in Leittechnik-Systemen
Resynthese natürlichsprachlicher Äußerungen zur auditiven Verifikation einer prosodischen Etikettierung
Entwurf und Verifikation von Ablaufsteuerungen
Formale Verifikation von MOS-Transistorschaltungen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Modulare Spezifikation und Verifikation objektbasierter Programme
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Psychoakustische Verifikation von Computermodellen zur binauralen Raumsimulation
Generierung und Verifikation von Geländedatenbanken für Luftfahrzeuge
Verifikation entfaltbarer Composite-Booms für Gossamer-Raumfahrtsysteme
Verifikation von Schaltungsbeschreibungen auf höheren Ebenen durch Rückübersetzung
Verifikation und Validation paralleler Busse in Leittechnik-Systemen
Resynthese natürlichsprachlicher Äußerungen zur auditiven Verifikation einer prosodischen Etikettierung
Entwurf und Verifikation von Ablaufsteuerungen
Formale Verifikation von MOS-Transistorschaltungen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Modulare Spezifikation und Verifikation objektbasierter Programme
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Psychoakustische Verifikation von Computermodellen zur binauralen Raumsimulation
Generierung und Verifikation von Geländedatenbanken für Luftfahrzeuge
Verifikation entfaltbarer Composite-Booms für Gossamer-Raumfahrtsysteme
Verifikation von Schaltungsbeschreibungen auf höheren Ebenen durch Rückübersetzung
Verifikation und Validation paralleler Busse in Leittechnik-Systemen