Translating Discrete-Time Simulink to Lustre

Cached

Download Links

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