Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development

Hung Ledang, Dang Van Hung. Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. In First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China. pages 293-304, IEEE Computer Society, 2007. [doi]

Authors

Hung Ledang

This author has not been identified. Look up 'Hung Ledang' in Google

Dang Van Hung

This author has not been identified. Look up 'Dang Van Hung' in Google