Translating Discrete-Time Simulink to Lustre

View PDF

Download Links

by Stavros Tripakis , Christos Sofronis , Paul Caspi , Adrian Curic
Venue:ACM Transactions on Embedded Computing Systems
Citations:38 - 2 self