Hochschulschrift
Verifikation und Validation paralleler Busse in Leittechnik-Systemen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826543630
3826543637
- Dimensions
-
21 cm
- Extent
-
X, 124 S.
- Edition
-
Als Ms. gedr.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Bochum, Univ., Diss., 1998
- Keyword
-
Leittechnik
Paralleler Bus
Kommunikationsprotokoll
Formale Spezifikationstechnik
Verifikation
Validierung
- 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:27 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
- Hellfajer, Roland
- Shaker
Time of origin
- 1998
Other Objects (12)
Effizienzabschätzungen und experimentelle Verifikation paralleler Algorithmen für lineare Gleichungssysteme der VLSI-Netzwerksimulation
Optimierung paralleler Programme
Lastverteilungsverfahren zur effizienten Nutzung paralleler Systeme
Verification and validation of logic control safety applications : Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen
Implementierung paralleler numerischer Verfahren mit algorithmischen Skeletten
Formale Verifikation von MOS-Transistorschaltungen
Entwurf und Verifikation von Ablaufsteuerungen
Programmierung massiv-paralleler Rechner mit Shared virtual memory
Systematische Konstruktion anwendungsspezifischer Werkzeugsysteme zur Entwicklung paralleler Programme
Ein Gestaltungskonzept für den Anwendungszyklus massiv paralleler Strömungssimulationsalgorithmen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Effizienzabschätzungen und experimentelle Verifikation paralleler Algorithmen für lineare Gleichungssysteme der VLSI-Netzwerksimulation
Optimierung paralleler Programme
Lastverteilungsverfahren zur effizienten Nutzung paralleler Systeme
Verification and validation of logic control safety applications : Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen
Implementierung paralleler numerischer Verfahren mit algorithmischen Skeletten
Formale Verifikation von MOS-Transistorschaltungen
Entwurf und Verifikation von Ablaufsteuerungen
Programmierung massiv-paralleler Rechner mit Shared virtual memory
Systematische Konstruktion anwendungsspezifischer Werkzeugsysteme zur Entwicklung paralleler Programme
Ein Gestaltungskonzept für den Anwendungszyklus massiv paralleler Strömungssimulationsalgorithmen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Effizienzabschätzungen und experimentelle Verifikation paralleler Algorithmen für lineare Gleichungssysteme der VLSI-Netzwerksimulation
Optimierung paralleler Programme
Lastverteilungsverfahren zur effizienten Nutzung paralleler Systeme
Verification and validation of logic control safety applications : Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen
Implementierung paralleler numerischer Verfahren mit algorithmischen Skeletten
Formale Verifikation von MOS-Transistorschaltungen
Entwurf und Verifikation von Ablaufsteuerungen
Programmierung massiv-paralleler Rechner mit Shared virtual memory
Systematische Konstruktion anwendungsspezifischer Werkzeugsysteme zur Entwicklung paralleler Programme
Ein Gestaltungskonzept für den Anwendungszyklus massiv paralleler Strömungssimulationsalgorithmen
Verifikation digitaler Schaltungen mittels symbolischer Simulation