Correction to: A framework for embedded software portability and verification: from formal models to low-level code (Software and Systems Modeling, (2024), 23, 2, (289-315), 10.1007/s10270-023-01144-y)

Renata Martins Gomes, Bernhard Aichernig, Marcel Baunach^*

^*Korrespondierende/r Autor/-in für diese Arbeit

Publikation: Beitrag in einer Fachzeitschrift › Diskussion › Begutachtung

1 Artikel

1 Ergebnisse

Filter

2024
A framework for embedded software portability and verification: From formal models to low-level code
Martins Gomes, R., Aichernig, B. & Baunach, M. C., Apr. 2024, in: Software and Systems Modeling. 23, 2, S. 289-315 27 S.
Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

Open Access
Datei