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^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	317
Number of pages	1
Journal	Software and Systems Modeling
Volume	23
Issue number	2
DOIs	https://doi.org/10.1007/s10270-024-01166-0
Publication status	Published - Apr 2024

ASJC Scopus subject areas

Software
Modelling and Simulation

Access to Document

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

Cite this

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, Vol. 23, No. 2, 04.2024, p. 317.

Research output: Contribution to journal › Article › peer-review

@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 - Article

AN - SCOPUS:85189442311

SN - 1619-1366

VL - 23

SP - 317

JO - Software and Systems Modeling

JF - Software and Systems Modeling

IS - 2

ER -

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

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this