Sign in

Evolutionary State Assignment for Synchronous Finite State Machines.

Nadia NedjahLuiza de Macedo Mourelle
Published in: International Conference on Computational Science (2004)
Keyphrases
  • finite state machines
  • finite state automata
  • regular expressions
  • state transition
  • model checking
  • evolutionary computation
  • digital circuits
  • high level
  • hidden markov models
  • state space
  • cellular automaton