← Back to talks

Model checking in the context of digital twins

Date
8 May 2023
Speaker
Jeroen Keiren
Series
Series 6