Changde Li, Xingshe Zhou, Yunwei Dong, Zhiwen Yu. A Formal Model for Component-Based Embedded Software Development. In Tianzhou Chen, Dimitrios N. Serpanos, Walid Taha, editors, International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009. pages 19-23, IEEE, 2009. [doi]
@inproceedings{LiZDY09,
title = {A Formal Model for Component-Based Embedded Software Development},
author = {Changde Li and Xingshe Zhou and Yunwei Dong and Zhiwen Yu},
year = {2009},
doi = {10.1109/ICESS.2009.51},
url = {http://doi.ieeecomputersociety.org/10.1109/ICESS.2009.51},
researchr = {https://researchr.org/publication/LiZDY09},
cites = {0},
citedby = {0},
pages = {19-23},
booktitle = {International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009},
editor = {Tianzhou Chen and Dimitrios N. Serpanos and Walid Taha},
publisher = {IEEE},
}