Simon Schuster. SWAN: Systemweite statische Laufzeitanalyse echtzeitfähiger Betriebssysteme. In Herwig Unger, editor, Echtzeit und Sicherheit - Echtzeit 2018, Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG), Boppard, 15. und 16. November 2018. Informatik Aktuell, pages 59-68, Springer Vieweg, 2018. [doi]
Abstract is missing.