Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2023
- A Toolchain for Synthesizing and Validating Safety Architectures SN Computer Science, 4(4):335, April 2023. Details DOI BIB
2021
- Low-Redundancy Realization of Safety-Critical Automotive Functions In MikroSystemTechnik (MST) Kongress, November 2021. VDE Verlag GmbH Berlin Offenbach.. Details URL BIB