Real-Time Component Composition Using Hierarchical Timed Automata

Xianli Jin, Huadong Ma, Zonghua Gu. Real-Time Component Composition Using Hierarchical Timed Automata. In Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA. pages 90-99, IEEE Computer Society, 2007. [doi]

Authors

Xianli Jin

This author has not been identified. Look up 'Xianli Jin' in Google

Huadong Ma

This author has not been identified. Look up 'Huadong Ma' in Google

Zonghua Gu

This author has not been identified. Look up 'Zonghua Gu' in Google