Verifiability Talk 39: Verified Self-Adaptation of an Incubator Digital Twin, Thomas Wright (York)
Channel: UKRI TAS Verifiability Node
Date: 2022-10-09

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)