Hochschulschrift
Synthese von Kommunikationsprozessoren aus Spezifikationen in Form von Impulsdiagrammen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783183422104
3183422107
- Maße
-
21 cm
- Umfang
-
VI, 244 S.
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Deutsch
- Anmerkungen
-
graph Darst.
Zugl.: Passau, Univ., Diss., 1995
- Erschienen in
-
Fortschritt-Berichte VDI / 10 / Verein Deutscher Ingenieure ; Nr. 422, Reihe 10
- Schlagwort
-
Kommunikationsprozessor
Formale Spezifikationstechnik
Hardwareverifikation
Kommunikationsprotokoll
Umsetzung
- Ereignis
-
Veröffentlichung
- (wo)
-
Düsseldorf
- (wer)
-
VDI-Verl.
- (wann)
-
1996
- Urheber
-
Tiedemann, Wolf-Dieter
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:01 MEZ
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
- Tiedemann, Wolf-Dieter
- VDI-Verl.
Entstanden
- 1996
Ähnliche Objekte (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