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]
@inproceedings{HuYZZLZ05,
title = {Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications},
author = {Jun Hu and Xiaofeng Yu and Yan Zhang and Tian Zhang and Xuandong Li and Guoliang Zheng},
year = {2005},
doi = {10.1007/11596356_41},
url = {http://dx.doi.org/10.1007/11596356_41},
tags = {rule-based, software components, embedded software, software component},
researchr = {https://researchr.org/publication/HuYZZLZ05},
cites = {0},
citedby = {0},
pages = {395-404},
booktitle = {Embedded and Ubiquitous Computing - EUC 2005, International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings},
editor = {Laurence Tianruo Yang and Makoto Amamiya and Zhen Liu and Minyi Guo and Franz J. Rammig},
volume = {3824},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-30807-5},
}