Formal Validation of Hierarchical State Machines against Expectations.

Ian Toyn Andy Galloway

Published in: ASWEC (2007)

Keyphrases

state machines
state machine
petri net
reactive systems
recurrent networks
real time
artificial intelligence
data structure
fault tolerant