CompEAS-BSW1 - Compositional Embedded Automotive Systems - Basic Software

Baunach, Marcel Carsten (Co-Investigator (CoI))
Manjunath, Vignesh (Co-Investigator (CoI))
Nagarajan, Drona (Co-Investigator (CoI))
Krisper, Michael (Co-Investigator (CoI))

Institute of Technical Informatics (4480)

Project: Research project

5 Conference paper
1 Other chapter contribution
1 Abstract

1 results

Filter

2022

Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation
Manjunath, V., Diwold, K. & Baunach, M. C., 17 Mar 2022.
Research output: Contribution to conference › Abstract › peer-review