Stefan Widmann. Eine Datenspezifikationsarchitektur. Methoden zur Datenflussüberwachung in sicherheitsgerichteten Echtzeitsystemen. In Steffen Hölldobler, editor, Ausgezeichnete Informatikdissertationen 2017. Volume D-18 of LNI, pages 271-280, GI, 2017.
Abstract is missing.