Synchronous LET: towards formal verification
Date
Nov 24, 2021 11:00 AM
Event
Location
La Rochette, France
Fabien Siron
R&D Software Engineer | Teacher
My interests include real-time systems, and more broadly, cyber-physical systems, and formal methods.