Verifying Automotive Systems in EAST-ADL/Stateflow Using UPPAAL. - Eun-Young Kang 001; Liu Ke 002; Meng-Zhe Hua; Yu-Xuan Wang (APSEC, 2015)

Traveller: A Novel Tourism Platform for Students Based on Cloud Data. - Qi-Ying Hu; Chang-Dong Wang 001; Jia-Xin Hong; Meng-Zhe Hua; Di Huang (CollaborateCom, 2015)