Paper Info
Title
A Formal Semantics for Complete UML State Machines with Communications.
Year
DOI
Venue
2013
10.1007/978-3-642-38613-8_23
IFM
Field
DocType
Citations 
Operational semantics,UML state machine,Programming language,Model checking,Unified Modeling Language,UML tool,Computer science,Finite-state machine,Theoretical computer science,Applications of UML,Semantics
Conference
9
PageRank 
References 
Authors
0.48
17
7
Name
Order
Citations
PageRank
Shuang Liu1212.35
Yang Liu2491116.11
Étienne André329435.08
Christine Choppy433136.70
Jun Sun51407120.35
Bimlesh Wadhwa6468.72
Jin Song Dong717715.93