Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong
A Formal Semantics for Complete UML State Machines with Communications
IFM, 2013.
@inproceedings{IFM-2013-LiuLACSWD,
author = "Shuang Liu and Yang Liu and Étienne André and Christine Choppy and Jun Sun and Bimlesh Wadhwa and Jin Song Dong",
booktitle = "{Proceedings of the 10th International Conference on Integrated Formal Methods}",
doi = "10.1007/978-3-642-38613-8_23",
isbn = "['978-3-642-38612-1', '978-3-642-38613-8']",
pages = "331--346",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{A Formal Semantics for Complete UML State Machines with Communications}",
volume = 7940,
year = 2013,
}
Tags: