Hochschulschrift
Synthese von Kommunikationsprozessoren aus Spezifikationen in Form von Impulsdiagrammen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783183422104
3183422107
- Dimensions
-
21 cm
- Extent
-
VI, 244 S.
- Edition
-
Als Ms. gedr.
- Language
-
Deutsch
- Notes
-
graph Darst.
Zugl.: Passau, Univ., Diss., 1995
- Bibliographic citation
-
Fortschritt-Berichte VDI / 10 / Verein Deutscher Ingenieure ; Nr. 422, Reihe 10
- Keyword
-
Kommunikationsprozessor
Formale Spezifikationstechnik
Hardwareverifikation
Kommunikationsprotokoll
Umsetzung
- Event
-
Veröffentlichung
- (where)
-
Düsseldorf
- (who)
-
VDI-Verl.
- (when)
-
1996
- Creator
-
Tiedemann, Wolf-Dieter
- 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:01 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
- Tiedemann, Wolf-Dieter
- VDI-Verl.
Time of origin
- 1996
Other Objects (12)
Spezifikation und Synthese von arithmetischen Datenpfadkomponenten
Zur Spezifikation von Objektgesellschaften mit TROLL light
Methode der Referenzimplementierung von Spezifikationen paralleler Busschnittstellen
Spezifikation von Benutzerschnittstellen : Konstruktion konfigurierbarer und konsistenter Benutzerschnittstellen
Synthese von digitalen asynchronen Zustandsautomaten
Synthese und Optimierung von Reaktivrektifikationsprozessen
Spezifikation, Konfiguration und Implementation anwendungsorientierter Kommunikationsdienste
Spezifikation und parallele Simulation neuronaler Netze
Ein Beitrag zur Spezifikation und Implementierung von neutralen Datenschnittstellen
Rechnerunterstützte Synthese von Abtastregelkreisen mit Beschränkungen
Anthropozentrische Modellierung und Spezifikation komplexer Systeme am Beispiel von Eisenbahnleitsystemen
Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen
Spezifikation und Synthese von arithmetischen Datenpfadkomponenten
Zur Spezifikation von Objektgesellschaften mit TROLL light
Methode der Referenzimplementierung von Spezifikationen paralleler Busschnittstellen
Spezifikation von Benutzerschnittstellen : Konstruktion konfigurierbarer und konsistenter Benutzerschnittstellen
Synthese von digitalen asynchronen Zustandsautomaten
Synthese und Optimierung von Reaktivrektifikationsprozessen
Spezifikation, Konfiguration und Implementation anwendungsorientierter Kommunikationsdienste
Spezifikation und parallele Simulation neuronaler Netze
Ein Beitrag zur Spezifikation und Implementierung von neutralen Datenschnittstellen
Rechnerunterstützte Synthese von Abtastregelkreisen mit Beschränkungen
Anthropozentrische Modellierung und Spezifikation komplexer Systeme am Beispiel von Eisenbahnleitsystemen
Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen
Spezifikation und Synthese von arithmetischen Datenpfadkomponenten
Zur Spezifikation von Objektgesellschaften mit TROLL light
Methode der Referenzimplementierung von Spezifikationen paralleler Busschnittstellen
Spezifikation von Benutzerschnittstellen : Konstruktion konfigurierbarer und konsistenter Benutzerschnittstellen
Synthese von digitalen asynchronen Zustandsautomaten
Synthese und Optimierung von Reaktivrektifikationsprozessen
Spezifikation, Konfiguration und Implementation anwendungsorientierter Kommunikationsdienste
Spezifikation und parallele Simulation neuronaler Netze
Ein Beitrag zur Spezifikation und Implementierung von neutralen Datenschnittstellen
Rechnerunterstützte Synthese von Abtastregelkreisen mit Beschränkungen
Anthropozentrische Modellierung und Spezifikation komplexer Systeme am Beispiel von Eisenbahnleitsystemen