Translating Discrete-Time Simulink to Lustre (2003)

Cached

Download Links

by Paul Caspi , Adrian Curic , Aude Maignan , Christos Sofronis , Stavros Tripakis
Venue:In: Third International ACM Conference on Embedded Software, Lecture Notes in Computer Science
Citations:26 - 7 self