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

doi:10.1007/s10270-024-01166-0

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

Abstract

In the original publication the paper mentions "BlindReviewOS" in several locations. The real name of the software is "SmartOS". This has been corrected in the original publication.

Originalsprache	englisch
Fachzeitschrift	Software and Systems Modeling
DOIs	https://doi.org/10.1007/s10270-024-01166-0
Publikationsstatus	Angenommen/In Druck - 2024

ASJC Scopus subject areas

Software
Modellierung und Simulation

Zugriff auf Dokument

10.1007/s10270-024-01166-0Lizenz: CC BY 4.0

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

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.

Dieses zitieren

@article{fa7a353e196640d5980a621777c6484a,

title = "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)",

abstract = "In the original publication the paper mentions {"}BlindReviewOS{"} in several locations. The real name of the software is {"}SmartOS{"}. This has been corrected in the original publication.",

author = "Gomes, {Renata Martins} and Bernhard Aichernig and Marcel Baunach",

note = "Publisher Copyright: {\textcopyright} The Author(s) 2024.",

year = "2024",

doi = "10.1007/s10270-024-01166-0",

language = "English",

journal = "Software and Systems Modeling",

issn = "1619-1366",

publisher = "Springer",

}

TY - JOUR

T1 - Correction to

T2 - 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)

AU - Gomes, Renata Martins

AU - Aichernig, Bernhard

AU - Baunach, Marcel

PY - 2024

Y1 - 2024

N2 - In the original publication the paper mentions "BlindReviewOS" in several locations. The real name of the software is "SmartOS". This has been corrected in the original publication.

AB - In the original publication the paper mentions "BlindReviewOS" in several locations. The real name of the software is "SmartOS". This has been corrected in the original publication.

UR - http://www.scopus.com/inward/record.url?scp=85189442311&partnerID=8YFLogxK

U2 - 10.1007/s10270-024-01166-0

DO - 10.1007/s10270-024-01166-0

M3 - Comment/debate

AN - SCOPUS:85189442311

SN - 1619-1366

JO - Software and Systems Modeling

JF - Software and Systems Modeling

ER -