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/proceedingArticle in proceedingsResearch

Abstract


Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022
EditorsTiziana Margaria, Bernhard Steffen
Number of pages21
Place of publicationCham
PublisherSpringer
Publication date2022
Pages89-109
ISBN (Print)978-3-031-19761-1
DOIs
Publication statusPublished - 2022
Event11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 - Rhodes, Greece
Duration: 22 Oct 202230 Oct 2022

Conference

Conference11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
Country/TerritoryGreece
CityRhodes
Period22/10/202230/10/2022
SeriesLecture Notes in Computer Science
Volume13704
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Formally Verified Self-adaptation of an Incubator Digital Twin'. Together they form a unique fingerprint.

Cite this