Synthesizing hierarchical state machines from expressive scenario descriptions.

Jon Whittle Praveen K. Jayaraman

Published in: ACM Trans. Softw. Eng. Methodol. (2010)

Keyphrases

state machines
state machine
petri net
recurrent networks
high level
fault tolerant
real time
social networks
data structure
object models