MDE-Based Verification of SysML State Machine Diagram by UPPAAL

Xiaopu Huang, Qingqing Sun, Jiangwei Li, Tian Zhang 0001. MDE-Based Verification of SysML State Machine Diagram by UPPAAL. 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 490-497, Springer, 2012. [doi]

Authors

Xiaopu Huang

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

Qingqing Sun

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

Jiangwei Li

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

Tian Zhang 0001

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