A Formal Model for Component-Based Embedded Software Development

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]

Authors

Changde Li

This author has not been identified. Look up 'Changde Li' in Google

Xingshe Zhou

This author has not been identified. Look up 'Xingshe Zhou' in Google

Yunwei Dong

This author has not been identified. Look up 'Yunwei Dong' in Google

Zhiwen Yu

This author has not been identified. Look up 'Zhiwen Yu' in Google