Year 1994

Books and Journals

 Atomarität in verteilt implementierten Estelle-Spezifikationen
[Br94a]
J. Bredereke
Praxis der Informationsverarbeitung und Kommunikation (PIK), Saur Verlag 4, 225-229 (Oct. 1994)

Proceedings

 Überlegungen zu einem formalen ODP Referenzmodell
[Go94b]
R. Gotzhein
in: C. Popien, B. Meyer (Hrsg.), Neue Konzepte für die Offene Verteilte Verarbeitung, Arbeitstreffen an der RWTH Aachen, 5. September 1994

 Increasing the Concurrency in Estelle
[BrGo94a]
J. Bredereke, R. Gotzhein
in: R. L. Tenney, P. D. Amer, M. Ümit Uyar (Hrsg.), Formal Description Techniques, VI, North-Holland, 1994

 Specialization in Estelle
[GoBo94]
R. Gotzhein, G.v. Bochmann
in: 14th International Conference on Protocol Specification, Testing, and Verification, 1994

 Specification, Detection and Resolution of IN Feature Interactions with Estelle
[BrGo94c]
J. Bredereke, R. Gotzhein
in: 7th International Conference on Formal Description Techniques (FORTE'94), Bern, Schweiz, 1994

Technical reports

 A Case Study on Specification, Detection and Resolution of IN Feature Interactions with Estelle
[BrGo94b]
J. Bredereke, R. Gotzhein
Technical Report 245/94, Department of Computer Sciences, University of Kaiserslautern, Germany, 1994

 Towards a Basic Reference Model of Open Distributed Processing
[Go94a]
R. Gotzhein
Interner Bericht Nr. 247/94, Fachbereich Informatik, Universität Kaiserslautern, 1994

Master thesis

 Bewertung von SNMP als Management-Protokoll für lokale TCP/IP-Netzwerke
[Ke94]
M. Kemper
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Dezember 1994

 Nutzen und Möglichkeiten von OSPF als IP-Routing-Protokoll in einem lokalen Netzwerk
[Hei94]
A. Heinz
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Dezember 1994

 Spezifikation und Simulation der PROFIBUS-Sicherungsschicht mit Estelle
[Sche94]
I. Scherer
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Juli 1994

Project thesis

 Untersuchung der Ausdrucksfähigkeit verschiedener Estelle-Erweiterungsvorschläge zur Behandlung nichtfunktionaler Aspekte
[Pen94]
H. Penner
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Dezember 1994

Presentations

 Überlegungen zu einem formalen ODP Referenzmodell
[Go94p]
R. Gotzhein
Arbeitstreffen "Neue Konzepte für die Offene Verteilte Verarbeitung", Aachen, 5.9.1994




 Superordinated page: Publications

 Feedback
Email to the person in charge of this page (vs_www@informatik.uni-kl.de)

 Deutsch
This page in german. Diese Seite auf deutsch.