Formale Beschreibungstechniken für verteilte Systeme

R. Gotzhein, J. Bredereke

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

Abstract

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.





 

 
Go to the contact details of the person in charge of this page

 
This page in german. Diese Seite auf deutsch.