Eine Datenspezifikationsarchitektur. Methoden zur Datenflussüberwachung in sicherheitsgerichteten Echtzeitsystemen.

Widmann, Stefan (2018): Eine Datenspezifikationsarchitektur. Methoden zur Datenflussüberwachung in sicherheitsgerichteten Echtzeitsystemen.. Ausgezeichnete Informatikdissertationen 2017. Bonn: Gesellschaft für Informatik e.V.. ISBN: 978-3-88579-977-1. pp. 271-280. Schoss Dagstuhl, Deutschland. 6.-9.Mai 2018