Formally Verified Self-adaptation of an Incubator Digital Twin

Thomas Wright; Cláudio Gomes; Jim Woodcock

doi:10.1007/978-3-031-19762-8_7

Formally Verified Self-adaptation of an Incubator Digital Twin

Thomas Wright^*, Cláudio Gomes, Jim Woodcock

^*Corresponding author for this work

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research

7 Citations (Scopus)

Abstract

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022
Editors	Tiziana Margaria, Bernhard Steffen
Number of pages	21
Place of publication	Cham
Publisher	Springer
Publication date	2022
Pages	89-109
ISBN (Print)	978-3-031-19761-1
DOIs	https://doi.org/10.1007/978-3-031-19762-8_7
Publication status	Published - 2022
Event	11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 - Rhodes, Greece Duration: 22 Oct 2022 → 30 Oct 2022

Conference

Conference	11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
Country/Territory	Greece
City	Rhodes
Period	22/10/2022 → 30/10/2022

Series	Lecture Notes in Computer Science
Volume	13704
ISSN	0302-9743

Access to Document

10.1007/978-3-031-19762-8_7

Cite this

@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",

}

Wright, T, Gomes, C & Woodcock, J 2022, Formally Verified Self-adaptation of an Incubator Digital Twin. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022. Springer, Cham, Lecture Notes in Computer Science, vol. 13704, pp. 89-109, 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, Rhodes, Greece, 22/10/2022. https://doi.org/10.1007/978-3-031-19762-8_7

Formally Verified Self-adaptation of an Incubator Digital Twin. / Wright, Thomas; Gomes, Cláudio; Woodcock, Jim.
Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022. ed. / Tiziana Margaria; Bernhard Steffen. Cham: Springer, 2022. p. 89-109 (Lecture Notes in Computer Science, Vol. 13704).

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research

TY - GEN

T1 - Formally Verified Self-adaptation of an Incubator Digital Twin

AU - Wright, Thomas

AU - Gomes, Cláudio

AU - Woodcock, Jim

PY - 2022

Y1 - 2022

U2 - 10.1007/978-3-031-19762-8_7

DO - 10.1007/978-3-031-19762-8_7

M3 - Article in proceedings

AN - SCOPUS:85142668031

SN - 978-3-031-19761-1

T3 - Lecture Notes in Computer Science

SP - 89

EP - 109

BT - Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

CY - Cham

T2 - 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022

Y2 - 22 October 2022 through 30 October 2022

ER -

Formally Verified Self-adaptation of an Incubator Digital Twin

Abstract

Conference

Access to Document

Fingerprint

Cite this