Correction to: A framework for embedded software portability and verification: from formal models to low-level code (Software and Systems Modeling, (2024), 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

Fingerprint

Untersuchen Sie die Forschungsthemen von „Correction to: A framework for embedded software portability and verification: from formal models to low-level code (Software and Systems Modeling, (2024), 10.1007/s10270-023-01144-y)“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science