Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen
Matthias Gehrke
, Martin Hirsch
, Wilhelm Schäfer
, Oliver Niggemann
, Dirk Stichling
and Ulrich Nickel
Full Text: PDF