Sign in

Detection of Possible Frozen States in Communicating UML State Machines.

Andrei KaratkevichGrzegorz 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