Jahr 1993

Zeitschriften- und Buchbeiträge

 Ableitung parallel ausführbarer Protokollimplementierungen
[KoeEfGo93]
H. König, W. Effelsberg, R. Gotzhein
in: Praxis der Informationsverarbeitung und Kommunikation (PIK), Heft 4/1993, S. 193-202

 Open Distributed Systems - On Concepts, Methods and Design from a Logical Point of View
[Go93]
R. Gotzhein
Advanced Studies in Computer Science, Vieweg Verlag, 1993

Konferenzbeiträge

 A Compiler for the Parallel Execution of Estelle Specifications
[KrGo93]
D. Kreuz, R. Gotzhein
in. H. König (Hrsg.), Formale Methoden für Verteilte Systeme, Fokus-Band 8, Saur-Verlag, München, 1993

 An Evolutionary Approach to the Development of Complex Protocol Standards
[AnGoSe93]
C. Andrae, R. Gotzhein, S. Sédillot
13th International IFIP Symposium on Protocol Spezification, Testing, and Verification (PSTV XIII), Liège, Belgium, 1993

 Design of a Formal Estelle Semantics for Verification
[BrGoVo93]
J. Bredereke, R. Gotzhein, F.H. Vogt
in: M. Diaz, R. Groz (Eds.), Formal Description Techniques, V, (North-Holland), 1993, pp. 153-168

 Increasing the Concurrency in Estelle
[BrGo93b]
J. Bredereke, R. Gotzhein
6th International Conference on Formal Description Techniques (FORTE'93), Boston, USA, 1993

Technische Berichte

 Eine Estelle-Erweiterung zur Steigerung der Nebenläufigkeit
[BrGo93a]
J. Bredereke, R. Gotzhein
Bericht FBI-HH-M-219/93, Fachbereich Informatik, Universität Hamburg, 1993

 Entwurf eines parallelisierten OSI-TP in Estelle
[Br93]
J. Bredereke
Bericht FBI-HH-M-234/93, Fachbereich Informatik, Universität Hamburg, 1993

 Specialization of Object Behaviors and Requirement Specifications
[BoGo93]
G.v. Bochmann, R. Gotzhein
Publication No. 853, Département d'IRO, Université de Montreal, 1993




 Übergeordnete Seite: Publikationen

 Feedback
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 English
This page in english. Diese Seite auf englisch.