A formal semantics for complete uml state machines with communications
10.1007/978-3-642-38613-8_23
Saved in:
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 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
A formal semantics for complete UML state machines with communications
by: LIU, Shuang, et al.
Published: (2013) -
Formalizing UML state machines for automated verification: A survey
by: ETIENE, Andre, et al.
Published: (2023) -
USMMC: A self-contained model checker for UML state machines
by: Liu, S., et al.
Published: (2014) -
USMMC: A self-contained model checker for UML state machines
by: LIU, Shuang, et al.
Published: (2013) -
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
by: Shi, Ling, et al.
Published: (2020)