Modular Extraction of Lustre Models from C Code
Date
Nov 25, 2025 4:15 PM
Event
Location
Aussois, France
Fabien Siron
Research Engineer | Lecturer
Research engineer working on formal verification, synchronous-reactive systems and safety-critical real-time software.