The aim of this work is the development of procedures for the systematic creation of correct software for parallel and distributed systems with time requirements.
Ziel dieser Arbeiten ist die Entwicklung von Vorgehensweisen für die systematische Erstellung von korrekter Software für parallele und verteilte Systeme mit Zeitanforderungen.