Widmann, StefanHölldobler, Steffen2019-01-142019-01-142018978-3-88579-977-1https://dl.gi.de/handle/20.500.12116/19477deEine Datenspezifikationsarchitektur. Methoden zur Datenflussüberwachung in sicherheitsgerichteten Echtzeitsystemen.Text/Conference Paper