A formal semantics for complete uml state machines with communications

• Main Authors: Liu, S., Liu, Y., André, E., Choppy, C., Sun, J., Wadhwa, B., Dong, J.S.
• Other Authors: COMPUTER SCIENCE
• Format: Conference or Workshop Item
• Published: 2014
• Online Access: http://scholarbank.nus.edu.sg/handle/10635/77953
• Institution: National University of Singapore

10.1007/978-3-642-38613-8_23