Refining Mobile UML State Machines.

Alexander Knapp Stephan Merz Martin Wirsing

Published in: AMAST (2004)

Keyphrases

state machines
state machine
sequence diagrams
fault tolerant
mobile devices
finite state machines
petri net
mobile phone
real time
test cases
regression testing
neural network
software systems