Synchronous LET: towards formal verification
Date
Nov 24, 2021 11:00 AM
Event
Location
La Rochette, France
Fabien Siron
Research Engineer | Lecturer
Research engineer working on formal verification, synchronous-reactive systems and safety-critical real-time software.