Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2018
- Formal analysis of feature degradation in fault-tolerant automotive systems Science of Computer Programming, 154(1):89–133, März 2018. Details DOI BIB
2017
- Software Deployment Analysis for Mixed Reliability Automotive Systems TU München, Juni 2017. Details URL BIB