Symbolic Step Encodings for Object Based Communicating State Machines.

Jori Dubrovin Tommi A. Junttila Keijo Heljanko

Published in: FMOODS (2008)

Keyphrases

state machines
state machine
petri net
recurrent networks
genetic algorithm
high level
low level
recurrent neural networks
reverse engineering
symbolic representation
intermediate level