Formal verification for real-time safety critical applications based on logical time
Date
Nov 30, 2023 4:15 PM
Event
Location
Kiel, Germany
Fabien Siron
R&D Software Engineer | Teacher
My interests include real-time systems, and more broadly, cyber-physical systems, and formal methods.