Translating Discrete-Time Simulink to Lustre

Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis. Translating Discrete-Time Simulink to Lustre. In Rajeev Alur, Insup Lee, editors, Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings. Volume 2855 of Lecture Notes in Computer Science, pages 84-99, Springer, 2003. [doi]

Authors

Paul Caspi

This author has not been identified. Look up 'Paul Caspi' in Google

Adrian Curic

This author has not been identified. Look up 'Adrian Curic' in Google

Aude Maignan

This author has not been identified. Look up 'Aude Maignan' in Google

Christos Sofronis

This author has not been identified. Look up 'Christos Sofronis' in Google

Stavros Tripakis

Identified as Stavros Tripakis