UKRI TAS Verifiability Node
Title: Systematic falsification of cyber-physical systems
Speaker: Knut Åkesson, Chalmers University of Technology, Sweden
Date: 18 November 2021
Source
UKRI TAS Verifiability Node
Title: Systematic falsification of cyber-physical systems
Speaker: Knut Åkesson, Chalmers University of Technology, Sweden
Date: 18 November 2021
Source