Sciweavers

EMSOFT
2003
Springer

Translating Discrete-Time Simulink to Lustre

13 years 9 months ago
Translating Discrete-Time Simulink to Lustre
Paul Caspi, Adrian Curic, Aude Maignan, Christos S
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where EMSOFT
Authors Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis
Comments (0)