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 FachzeitschriftDiskussionBegutachtung

Filter
Artikel

Suchergebnisse