%0 Conference Paper %1 conf/isctcs/HuangSL012 %A Huang, Xiaopu %A Sun, Qingqing %A Li, Jiangwei %A Zhang, Tian %B ISCTCS %D 2012 %E Yuan, Yuyu %E Wu, Xu %E Lu, Yueming %I Springer %K dblp %P 490-497 %T MDE-Based Verification of SysML State Machine Diagram by UPPAAL. %U http://dblp.uni-trier.de/db/conf/isctcs/isctcs2012.html#HuangSL012 %V 320 %@ 978-3-642-35794-7

@inproceedings{conf/isctcs/HuangSL012, added-at = {2018-06-29T00:00:00.000+0200}, author = {Huang, Xiaopu and Sun, Qingqing and Li, Jiangwei and Zhang, Tian}, biburl = {https://www.bibsonomy.org/bibtex/2954662f1beaaa4e2c213b81ab95751f9/dblp}, booktitle = {ISCTCS}, crossref = {conf/isctcs/2012}, editor = {Yuan, Yuyu and Wu, Xu and Lu, Yueming}, ee = {https://doi.org/10.1007/978-3-642-35795-4_62}, interhash = {d0f8196f9dc1a581a9980cc624bae20d}, intrahash = {954662f1beaaa4e2c213b81ab95751f9}, isbn = {978-3-642-35794-7}, keywords = {dblp}, pages = {490-497}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2018-06-30T11:36:55.000+0200}, title = {MDE-Based Verification of SysML State Machine Diagram by UPPAAL.}, url = {http://dblp.uni-trier.de/db/conf/isctcs/isctcs2012.html#HuangSL012}, volume = 320, year = 2012 }