Hochschulschrift
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826510335
382651033X
- Maße
-
21 cm
- Umfang
-
167 S. in getr. Zählung
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Ilmenau, Techn. Univ., Diss., 1994
- Schlagwort
-
Kommunikationsprotokoll
Stochastisches Petri-Netz
Gefärbtes Petri-Netz
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:18 MESZ
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
- Knorr, Roger
- Shaker
Entstanden
- 1995
Ähnliche Objekte (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
Formale Spezifikation und Leistungsbewertung von Vielfachzugriffsprotokollen in Mobilfunknetzen
Endliche Implementierung algebraischer Spezifikationen
Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme
Gruppenkommunikationssystem für mobile Multimediaanwendungen mit Echtzeitanforderungen : Entwurf, Implementierung und Leistungsbewertung
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
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
Formale Spezifikation und Leistungsbewertung von Vielfachzugriffsprotokollen in Mobilfunknetzen
Endliche Implementierung algebraischer Spezifikationen
Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme
Gruppenkommunikationssystem für mobile Multimediaanwendungen mit Echtzeitanforderungen : Entwurf, Implementierung und Leistungsbewertung
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
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
Formale Spezifikation und Leistungsbewertung von Vielfachzugriffsprotokollen in Mobilfunknetzen
Endliche Implementierung algebraischer Spezifikationen
Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme
Gruppenkommunikationssystem für mobile Multimediaanwendungen mit Echtzeitanforderungen : Entwurf, Implementierung und Leistungsbewertung
Entwurf und Implementierung eines hierarchischen Systems zur Berechnung von Datenabhängkeiten : [technischer Bericht]