Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications.

Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, Guoliang Zheng

Browse the full EUC paper archive.