Abschlussarbeit – Entwicklung von Analysemethoden für verteilte Systeme | IAV