An Adaptive, Provable Correct Simplex Architecture

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

Original language	English
Journal	International Journal on Software Tools for Technology Transfer
Publication status	Accepted/In press - Sept 2024

Cite this

@article{a1334434f88f4520b0c8ad3c79dcb0ee,

title = "An Adaptive, Provable Correct Simplex Architecture",

author = "Benedikt Maderbacher and Stefan Schupp and Ezio Bartocci and Roderick Bloem and Dejan Nickovic and Bettina K{\"o}nighofer",

year = "2024",

month = sep,

language = "English",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - An Adaptive, Provable Correct Simplex Architecture

AU - Maderbacher, Benedikt

AU - Schupp, Stefan

AU - Bartocci, Ezio

AU - Bloem, Roderick

AU - Nickovic, Dejan

AU - Könighofer, Bettina

PY - 2024/9

Y1 - 2024/9

M3 - Article

SN - 1433-2779

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

ER -