A formal semantics for complete uml state machines with communications

• المؤلفون الرئيسيون: Liu, S., Liu, Y., André, E., Choppy, C., Sun, J., Wadhwa, B., Dong, J.S.
• مؤلفون آخرون: COMPUTER SCIENCE
• التنسيق: Conference or Workshop Item
• منشور في: 2014
• الوصول للمادة أونلاين: http://scholarbank.nus.edu.sg/handle/10635/77953

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