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]
@inproceedings{HuangSL012,
title = {MDE-Based Verification of SysML State Machine Diagram by UPPAAL},
author = {Xiaopu Huang and Qingqing Sun and Jiangwei Li and Tian Zhang 0001},
year = {2012},
doi = {10.1007/978-3-642-35795-4_62},
url = {https://doi.org/10.1007/978-3-642-35795-4_62},
researchr = {https://researchr.org/publication/HuangSL012},
cites = {0},
citedby = {0},
pages = {490-497},
booktitle = {Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28 - June 2, 2012, Revised Selected Papers},
editor = {Yuyu Yuan and Xu Wu and Yueming Lu},
volume = {320},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-642-35794-7},
}