Jahr 1994
Zeitschriften- und Buchbeiträge |
Atomarität in verteilt implementierten Estelle-Spezifikationen | |
[Br94a] J. Bredereke Praxis der Informationsverarbeitung und Kommunikation (PIK), Saur Verlag 4, 225-229 (Oct. 1994) |
Konferenzbeiträge |
Ü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 |
Technische Berichte |
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 |
Diplomarbeiten |
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 |
Projektarbeiten |
Untersuchung der Ausdrucksfähigkeit verschiedener Estelle-Erweiterungsvorschläge zur Behandlung nichtfunktionaler Aspekte | |
[Pen94] H. Penner Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Dezember 1994 |
Vorträge |
Überlegungen zu einem formalen ODP Referenzmodell | |
[Go94p] R. Gotzhein Arbeitstreffen "Neue Konzepte für die Offene Verteilte Verarbeitung", Aachen, 5.9.1994 |
Übergeordnete Seite: Publikationen | |
Feedback | |
Zu den Kontaktdetails des Verantwortlichen dieser Seite |
English | |
This page in english. Diese Seite auf englisch. |