Formally Verified Self-adaptation of an Incubator Digital Twin
Attributed to:
A Calculus for Software Engineering of Mobile and Autonomous Robots
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-19762-8_7
Publication URI: http://dx.doi.org/10.1007/978-3-031-19762-8_7
Type: Book Chapter
Book Title: Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (2022)
Page Reference: 89-109