Reduction and Slicing of Hierarchical State Machines.

Mats Per Erik Heimdahl Michael W. Whalen

Published in: ESEC / SIGSOFT FSE (1997)

Keyphrases

state machines
state machine
petri net
recurrent networks
reactive systems
artificial intelligence
error rate
load balancing