Confirming configurations in EFSM.

Alexandre Petrenko Sergiy Boroday Roland Groz

Published in: FORTE (1999)

Keyphrases

finite state machines
model checking
neural network
information systems
image processing
multi agent systems
user interface
evolutionary algorithm
d objects