@inproceedings{mci/Widmann2018,
author = {Widmann, Stefan},
title = {Eine Datenspezifikationsarchitektur. Methoden zur Datenflussüberwachung in sicherheitsgerichteten Echtzeitsystemen.},
booktitle = {Ausgezeichnete Informatikdissertationen 2017},
year = {2018},
editor = {Hölldobler, Steffen} ,
pages = { 271-280 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}