Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, Guoliang Zheng. Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications. In Laurence Tianruo Yang, Makoto Amamiya, Zhen Liu, Minyi Guo, Franz J. Rammig, editors, Embedded and Ubiquitous Computing - EUC 2005, International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings. Volume 3824 of Lecture Notes in Computer Science, pages 395-404, Springer, 2005. [doi]
Abstract is missing.