Verifiability Talk 39: “Formally Verified Self-Adaptation of an Incubator Digital Twin”
Speaker: Thomas Wright (University of York)
Title: “Formally Verified Self-Adaptation of an Incubator Digital Twin”
Meeting Link: https://bit.ly/formallyverified
Date: 06/10/2022
Time: 16:00 (BST)