Hochschulschrift
Modulare Spezifikation und Verifikation objektbasierter Programme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826580383
3826580389
- Dimensions
-
21 cm
- Extent
-
VI, 367 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Karlsruhe, Univ., Diss., 1999
- Keyword
-
Softwareentwicklung
Objektorientierte Programmierung
Spezifikationssprache
Formale Spezifikationstechnik
Verifikation
Modelltheorie
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Shaker
- (when)
-
2000
- Creator
-
Burandt-van Schoor, Axel
- 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:32 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
- Burandt-van Schoor, Axel
- Shaker
Time of origin
- 2000
Other Objects (12)
Spezifikation und Verifikation von Kommunikationsprotokollen mit Weg-Zeit-Diagramm
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
Zur Verifikation von modular zerlegten Programmen
Entwurf und Verifikation von Ablaufsteuerungen
Formale Verifikation von MOS-Transistorschaltungen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
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
Spezifikation und Verifikation von Kommunikationsprotokollen mit Weg-Zeit-Diagramm
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
Zur Verifikation von modular zerlegten Programmen
Entwurf und Verifikation von Ablaufsteuerungen
Formale Verifikation von MOS-Transistorschaltungen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
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
Spezifikation und Verifikation von Kommunikationsprotokollen mit Weg-Zeit-Diagramm
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
Zur Verifikation von modular zerlegten Programmen
Entwurf und Verifikation von Ablaufsteuerungen
Formale Verifikation von MOS-Transistorschaltungen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
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