Formalizing UML state machines for automated verification: A survey

由 ETIENE, Andre, LIU, Shuang, LIU, Yang, CHOPPY, Christine, SUN, Jun, DONG, Jinsong
出版 2023

A formal semantics for complete UML state machines with communications

由 LIU, Shuang, LIU, Yang, ANDRÉ, Étienne, CHOPPY, Christine, SUN, Jun, WADHWA, Bimlesh, DONG, Jin Song
出版 2013