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

Document Versions

Translating Discrete-Time Simulink to Lustre –Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis — 2003 — In: Third International ACM Conference on Embedded Software, Lecture Notes in Computer Science