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]

Abstract

Abstract is missing.