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

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

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
Seiten (von - bis)	317
Seitenumfang	1
Fachzeitschrift	Software and Systems Modeling
Jahrgang	23
Ausgabenummer	2
DOIs	https://doi.org/10.1007/s10270-024-01166-0
Publikationsstatus	Veröffentlicht - Apr. 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), 23, 2, (289-315), 10.1007/s10270-023-01144-y)“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren

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). / Gomes, Renata Martins; Aichernig, Bernhard ; Baunach, Marcel.
in: Software and Systems Modeling, Jahrgang 23, Nr. 2, 04.2024, S. 317.

Publikation: Beitrag in einer Fachzeitschrift › Diskussion › Begutachtung

@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), 23, 2, (289-315), 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",

month = apr,

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

language = "English",

volume = "23",

pages = "317",

journal = "Software and Systems Modeling",

issn = "1619-1366",

publisher = "Springer",

number = "2",

}

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), 23, 2, (289-315), 10.1007/s10270-023-01144-y)

AU - Gomes, Renata Martins

AU - Aichernig, Bernhard

AU - Baunach, Marcel

PY - 2024/4

Y1 - 2024/4

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

VL - 23

SP - 317

JO - Software and Systems Modeling

JF - Software and Systems Modeling

IS - 2

ER -