Login / Signup
Meng-Zhe Hua
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Description Language
Learning Outcomes
Human Computer Interface
High Quality
Top Venues
APSEC
CollaborateCom
</>
Publications
</>
Eun-Young Kang
,
Liu Ke
,
Meng-Zhe Hua
,
Yu-Xuan Wang
Verifying Automotive Systems in EAST-ADL/Stateflow Using UPPAAL.
APSEC
(2015)
Qi-Ying Hu
,
Chang-Dong Wang
,
Jia-Xin Hong
,
Meng-Zhe Hua
,
Di Huang
Traveller: A Novel Tourism Platform for Students Based on Cloud Data.
CollaborateCom
(2015)