A Distributed Algorithm for the Validation of Timed State Machines.

Xavier Rebeuf G. Satriano Françoise Simonot-Lion

Published in: OPODIS (2002)

Keyphrases

computational complexity
k means
objective function
matching algorithm
learning algorithm
optimal solution
fault tolerant
neural network
d objects
petri net
model checking