Sciweavers

2 search results - page 1 / 1
» Translating Discrete-Time Simulink to Lustre
Sort
View
EMSOFT
2003
Springer
13 years 10 months ago
Translating Discrete-Time Simulink to Lustre
Paul Caspi, Adrian Curic, Aude Maignan, Christos S...
EMSOFT
2004
Springer
13 years 8 months ago
Defining and translating a "safe" subset of simulink/stateflow into lustre
The Simulink/Stateflow toolset is an integrated suite enabling model-based design and has become popular in the automotive and aeronautics industries. We have previously developed...
Norman Scaife, Christos Sofronis, Paul Caspi, Stav...