Model-based specification of timing requirements

Christian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll, Edward A. Lee. Model-based specification of timing requirements. In Luca P. Carloni, Stavros Tripakis, editors, Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010. pages 239-248, ACM, 2010. [doi]

Authors

Christian Buckl

This author has not been identified. Look up 'Christian Buckl' in Google

Irina Gaponova

This author has not been identified. Look up 'Irina Gaponova' in Google

Michael Geisinger

This author has not been identified. Look up 'Michael Geisinger' in Google

Alois Knoll

This author has not been identified. Look up 'Alois Knoll' in Google

Edward A. Lee

This author has not been identified. Look up 'Edward A. Lee' in Google