Author:
Liu Shuang,Liu Yang,André Étienne,Choppy Christine,Sun Jun,Wadhwa Bimlesh,Dong Jin Song
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. OMG unified language superstructure specification (formal), Version 2.4.1 (August 06, 2011),
http://www.omg.org/spec/UML/2.4.1/Superstructure/PDF/
.
2. USM
2
C, a UML state machines model checker (April 05, 2013),
http://www.comp.nus.edu.sg/~lius87
3. André, É., Choppy, C., Klai, K.: Formalizing non-concurrent UML state machines using colored Petri nets. ACM SIGSOFT Software Engineering Notes 37(4), 1–8 (2012)
4. Beato, M.E., Barrio-Solórzano, M., Cuesta, C.E., Fuente, P.: UML automatic verification tool with formal methods. Elec. N. in Th. Computer Sc. 127(4), 3–16 (2005)
5. Börger, E., Cavarra, A., Riccobene, E.: On formalizing UML state machines using ASMs. Information Software Technology 46(5), 287 (2004)
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献