9 June 2022

Verifiability Talk 35: “Conformance Testing and Causality in Cyber-Physical Systems”

Speaker: Hugo Araujo (King’s College London)
Title: “Conformance Testing and Causality in Cyber-Physical Systems”
Meeting Link: https://bit.ly/conformancet
Date: 09/06/2022
Time: 16:00-17:00 (BST)