Publikationen 1995

Preuß, Th.; Schwotzer, Th.; König, H: Kurz- und langfristige Dienstgarantierungen.
in Krumm, H. (ed.): Proc. des Workshops "Entwicklung und Management verteilter Anwendungssysteme", Dortmund, Krehl-Verlag Münster, 1995, 197 - 206.

Guerrouat, A.; Koenig, H.; Ulrich, A.: SELEXPERT - a knowledge-based tool for test case selection.
Proc. FORTE95 (IFIP Conference on Formal Description Techniques), Montreal, 1995, 313 - 328, also published in Bochmann G.v. et al. (eds.): Formal Description Techniques VIII, Chapman & Hall, 1996, 313 - 328.

Henniger, O.; Ulrich, A.; Koenig, H.: Transformation of Estelle Modules aiming at Test Case Generation.
Proc. IWPTS95 (IFIP International Workshop on Protocol Test Systems), Paris, 1995, 45 - 60.

Held, Th.; Koenig, H.: On the Efficiency of Computer-Aided Protocol Implementations.
Electronic Journal on Networks and Distributed Processing, (1995) 2, 37 - 55.

Plato, R.; Held, Th.; König, H.: PARES - A Portable Parallel Estelle Compiler.
Proc. PSTV95, Warsaw, 1995, 383 - 400; also published in Dembinski, P. (ed.): Protocol Specification, Testing and Verification XV. Chapman & Hall, 1995, 383 - 399.

Plato, R.; Held, Th.; König, H.: PARES - Ein portabler Estelle-Compiler für parallele Implementierungen - Anwendung und Optimierung.
in Gotzhein, R.; Bredereke, J. (eds.): Formale Beschreibungstechniken für verteilte Systeme. Universität Kaiserslautern, Fachbereich Informatik, 1995, 111 - 120.

Held, Th.; Koenig, H.: Increasing the Efficiency of Computer-Aided Protocol Implementations.
Proc. PSTV94 (IFIP Conference on Protocol Specification, Testing and Verification), Vancouver, 1994, 363 - 371; also published in Vuong, S.; Chanson, S. (eds.): Protocol Specification, Testing and Verification XIV, Chapman & Hall, 1995, 387 - 394.

Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Das Einverständnis in die Verwendung der technisch nicht notwendigen Cookies können Sie jeder Zeit wiederrufen. Weitere Informationen erhalten Sie auf unseren Seiten zum Datenschutz.

Erforderlich

Diese Cookies werden für eine reibungslose Funktion unserer Website benötigt.

Statistik

Für den Zweck der Statistik betreiben wir die Plattform Matomo, auf der mittels pseudonymisierter Daten von Websitenutzern der Nutzerfluss analysiert und beurteilt werden kann. Dies gibt uns die Möglichkeit Websiteinhalte zu optimieren.

Name Zweck Ablauf Typ Anbieter
_pk_id Wird verwendet, um ein paar Details über den Benutzer wie die eindeutige Besucher-ID zu speichern. 13 Monate HTML Matomo
_pk_ref Wird benutzt, um die Informationen der Herkunftswebsite des Benutzers zu speichern. 6 Monate HTML Matomo
_pk_ses Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern. 30 Minuten HTML Matomo