Inproceedings,

A Formal Semantics of UML State Machines Based on Structured Graph Transformation.

.
UML, volume 2185 of Lecture Notes in Computer Science, page 241-256. Springer, (2001)

Meta data

Tags

Users

  • @dblp
  • @leonardo

Comments and Reviews