Hochschulschrift
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826510335
382651033X
- Dimensions
-
21 cm
- Extent
-
167 S. in getr. Zählung
- Edition
-
Als Ms. gedr.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Ilmenau, Techn. Univ., Diss., 1994
- Keyword
-
Kommunikationsprotokoll
Stochastisches Petri-Netz
Gefärbtes Petri-Netz
- 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:18 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
- Knorr, Roger
- Shaker
Time of origin
- 1995
Other Objects (12)
Spezifikation, Implementierung und Verifikation von Kommunikationsdiensten für verteilte DV-Systeme
Softwaretechnologie : Entwurf - Spezifikation - Verifikation
Spezifikation und Verifikation abstrakter Datentypen
Modulare Spezifikation und Verifikation objektbasierter Programme
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Zur leistungsberücksichtigenden Spezifikation und Verifikation von Kommunikationssystemen
Endliche Implementierung algebraischer Spezifikationen
Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme
Formale Spezifikation und Leistungsbewertung von Vielfachzugriffsprotokollen in Mobilfunknetzen
Entwurf und Implementierung eines hierarchischen Systems zur Berechnung von Datenabhängkeiten : [technischer Bericht]
Dynamische Beschriftung von Gebietshierarchien : Entwicklung und Implementierung der Beschriftung von hierarchischen Gebietsunterteilungen
Gruppenkommunikationssystem für mobile Multimediaanwendungen mit Echtzeitanforderungen : Entwurf, Implementierung und Leistungsbewertung
Spezifikation, Implementierung und Verifikation von Kommunikationsdiensten für verteilte DV-Systeme
Softwaretechnologie : Entwurf - Spezifikation - Verifikation
Spezifikation und Verifikation abstrakter Datentypen
Modulare Spezifikation und Verifikation objektbasierter Programme
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Zur leistungsberücksichtigenden Spezifikation und Verifikation von Kommunikationssystemen
Endliche Implementierung algebraischer Spezifikationen
Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme
Formale Spezifikation und Leistungsbewertung von Vielfachzugriffsprotokollen in Mobilfunknetzen
Entwurf und Implementierung eines hierarchischen Systems zur Berechnung von Datenabhängkeiten : [technischer Bericht]
Dynamische Beschriftung von Gebietshierarchien : Entwicklung und Implementierung der Beschriftung von hierarchischen Gebietsunterteilungen
Gruppenkommunikationssystem für mobile Multimediaanwendungen mit Echtzeitanforderungen : Entwurf, Implementierung und Leistungsbewertung
Spezifikation, Implementierung und Verifikation von Kommunikationsdiensten für verteilte DV-Systeme
Softwaretechnologie : Entwurf - Spezifikation - Verifikation
Spezifikation und Verifikation abstrakter Datentypen
Modulare Spezifikation und Verifikation objektbasierter Programme
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Zur leistungsberücksichtigenden Spezifikation und Verifikation von Kommunikationssystemen
Endliche Implementierung algebraischer Spezifikationen
Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme
Formale Spezifikation und Leistungsbewertung von Vielfachzugriffsprotokollen in Mobilfunknetzen
Entwurf und Implementierung eines hierarchischen Systems zur Berechnung von Datenabhängkeiten : [technischer Bericht]
Dynamische Beschriftung von Gebietshierarchien : Entwicklung und Implementierung der Beschriftung von hierarchischen Gebietsunterteilungen