Composition of AADL Components by Transformation to Interface Automata

Jiangwei Li, Jizhou Zhao, Qingqing Sun, Xiaopu Huang, Yan Zhang, Tian Zhang 0001. Composition of AADL Components by Transformation to Interface Automata. In Yuyu Yuan, Xu Wu, Yueming Lu, editors, Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28 - June 2, 2012, Revised Selected Papers. Volume 320 of Communications in Computer and Information Science, pages 522-529, Springer, 2012. [doi]

Authors

Jiangwei Li

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

Jizhou Zhao

This author has not been identified. Look up 'Jizhou Zhao' in Google

Qingqing Sun

This author has not been identified. Look up 'Qingqing Sun' in Google

Xiaopu Huang

This author has not been identified. Look up 'Xiaopu Huang' in Google

Yan Zhang

This author has not been identified. Look up 'Yan Zhang' in Google

Tian Zhang 0001

This author has not been identified. Look up 'Tian Zhang 0001' in Google