Testing Implementation Soundness of a WCET Analysis Tool

von Wilhelm, Reinhard
Veröffentlicht in Workshop on Embedded Systems (2019 : Dortmund) A journey of embedded and cyber-physical systems (2021)

Safety-Critical Software Development in C++

von Kästner, Daniel
Veröffentlicht in DECSoS (15. : 2020 : Lissabon; Online) Computer safety, reliability, and security (2020)

Schlussbericht zum Verbundprojekt "Integrierte energiesparende Multi-Prozessorplattform für autonomes elektrisches Fahren - EMPHASE" : Teilprojekt "Erweiterung von Werkzeugen zur...

von Cullmann, Christoph
Veröffentlicht 13082020