| emsoft | participants

Aude Maignan

EMSOFT 2003: 3rd International Conference on Embedded Software

Translating Discrete-Time Simulink to Lustre

Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, and Stavros Tripakis