König, H.; Effelsberg, W.; Gotzhein, R.: Ableitung parallel ausführbarer Protokollimplementierungen auf der Grundlage von Estelle-Spezifikationen.
in PIK 4/93, 193 - 202.
König, H.; Neumann, P.: Formale Beschreibungstechniken für Kommunikationsprotokolle: Probleme ihrer praktischen Anwendung.
Tagungsband KIVS 93, GI Informatik aktuell, Springer-Verlag, Heidelberg, 1993, 545 - 559.
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.