Verifiability Talk 39: Verified Self-Adaptation of an Incubator Digital Twin, Thomas Wright (York)

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” Date: 06/10/2022 Time: 16:00 (BST)