%0 Conference Paper %1 conf/internetware/HuangSLPZ12 %A Huang, Xiaopu %A Sun, Qingqing %A Li, Jiangwei %A Pan, Minxue %A Zhang, Tian %B Internetware %D 2012 %E Mei, Hong %E Lv, Jian %E Wang, Qianxiang %E Liu, Lin %I ACM %K dblp %P 9:1-9:7 %T An MDE-based approach to the verification of SysML state machine diagram. %U http://dblp.uni-trier.de/db/conf/internetware/internetware2012.html#HuangSLPZ12 %@ 978-1-4503-1888-4

@inproceedings{conf/internetware/HuangSLPZ12, added-at = {2018-11-06T00:00:00.000+0100}, author = {Huang, Xiaopu and Sun, Qingqing and Li, Jiangwei and Pan, Minxue and Zhang, Tian}, biburl = {https://www.bibsonomy.org/bibtex/2ef7d99378c8621f77de90b754e45c403/dblp}, booktitle = {Internetware}, crossref = {conf/internetware/2012}, editor = {Mei, Hong and Lv, Jian and Wang, Qianxiang and Liu, Lin}, ee = {https://doi.org/10.1145/2430475.2430484}, interhash = {2e9e0819182fd9a2309497febc56ecf3}, intrahash = {ef7d99378c8621f77de90b754e45c403}, isbn = {978-1-4503-1888-4}, keywords = {dblp}, pages = {9:1-9:7}, publisher = {ACM}, timestamp = {2024-04-09T17:23:35.000+0200}, title = {An MDE-based approach to the verification of SysML state machine diagram.}, url = {http://dblp.uni-trier.de/db/conf/internetware/internetware2012.html#HuangSLPZ12}, year = 2012 }