Year 1993
Books and Journals |
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 |
Proceedings |
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 |
Technical reports |
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 |
Superordinated page: Publications | |
Feedback | |
Go to the contact details of the person in charge of this page |
Deutsch | |
This page in german. Diese Seite auf deutsch. |