Detection of Possible Frozen States in Communicating UML State Machines.

Andrei Karatkevich Grzegorz Labiak

Published in: PDeS (2013)

Keyphrases

state machines
state machine
sequence diagrams
finite state machines
petri net
fault tolerant
object detection
object oriented
humanoid robot
intermediate representation