Komponentenbasierte Überwachung hybrider Systeme durch den Einsatz formaler Methoden

Leila Mekacher. Komponentenbasierte Überwachung hybrider Systeme durch den Einsatz formaler Methoden. PhD thesis, University of Mannheim, Germany, 2016. [doi]

Abstract

Abstract is missing.