Synchronous LET: towards formal verification


Date
Nov 24, 2021 11:00 AM
Event
Synchron 2021
Location
La Rochette, France
Fabien Siron
Fabien Siron
Research Engineer | Lecturer

My interests include real-time systems (more broadly cyber-physical systems) and formal methods.