Arcot Sowmya
EMSOFT 2008: 8th ACM & IEEE International Conference on Embedded Software
Automatically Transforming and Relating Uppaal Models of Embedded Systems
EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software
A Timing Model for Synchronous Language Implementations in Simulink