@inproceedings{cfa3b70196ca466e906153683e7793d6,
title = "Formally Verified Self-adaptation of an Incubator Digital Twin",
author = "Thomas Wright and Cl{\'a}udio Gomes and Jim Woodcock",
year = "2022",
doi = "10.1007/978-3-031-19762-8_7",
language = "English",
isbn = "978-3-031-19761-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "89--109",
editor = "Margaria, {Tiziana } and Steffen, {Bernhard }",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022",
address = "Netherlands",
note = "11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 ; Conference date: 22-10-2022 Through 30-10-2022",
}