%0 Conference Paper %1 conf/smc/WangSHY23 %A Wang, Shaopeng %A Shi, Jianqi %A Huang, Yanhong %A Yang, Yang %B SMC %D 2023 %I IEEE %K dblp %P 2471-2476 %T A Tool for Transforming SysML State Machine into Uppaal Automatically. %U http://dblp.uni-trier.de/db/conf/smc/smc2023.html#WangSHY23 %@ 979-8-3503-3702-0

@inproceedings{conf/smc/WangSHY23, added-at = {2024-02-13T00:00:00.000+0100}, author = {Wang, Shaopeng and Shi, Jianqi and Huang, Yanhong and Yang, Yang}, biburl = {https://www.bibsonomy.org/bibtex/20f1bc4c95df351b8e3a7a1ee359e38bf/dblp}, booktitle = {SMC}, crossref = {conf/smc/2023}, ee = {https://doi.org/10.1109/SMC53992.2023.10394302}, interhash = {94078e524cde6f200bccf7041f8668a2}, intrahash = {0f1bc4c95df351b8e3a7a1ee359e38bf}, isbn = {979-8-3503-3702-0}, keywords = {dblp}, pages = {2471-2476}, publisher = {IEEE}, timestamp = {2024-04-09T19:24:58.000+0200}, title = {A Tool for Transforming SysML State Machine into Uppaal Automatically.}, url = {http://dblp.uni-trier.de/db/conf/smc/smc2023.html#WangSHY23}, year = 2023 }