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
Research Engineer | Lecturer
My interests include real-time systems (more broadly cyber-physical systems) and formal methods.