Formale Beschreibungstechniken für verteilte Systeme

R. Gotzhein, J. Bredereke

Proceedings des 5. GI/ITG-Fachgesprächs, Kaiserslautern, Germany, 1995

Zusammenfassung

Seit 1991 findet in jedem Jahr das GI/ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme" der GI/ITG-Fachgruppe 3.3.1/4.4 "Kommunikation und verteilte Systeme (KuVS)" statt. Auch in diesem Jahr haben sich ca. 50 Fachleute aus Forschung und Industrie zusammengefunden, um aktuelle Forschungsergebnisse vorzustellen und zu diskutieren. Dieser Bericht enthält die vorgestellten 23 Tagungsbeiträge.

	Übergeordnete Seite: Jahr 1995

	Feedback
	Zu den Kontaktdetails des Verantwortlichen dieser Seite

	English
	This page in english. Diese Seite auf englisch.