Login / Signup

Proving Sequential Function Chart Programs Using Automata.

Dominique L'HerPhilippe Le ParcLionel Marcé
Published in: Workshop on Implementing Automata (1998)
Keyphrases
  • turing machine
  • cellular automata
  • artificial neural networks
  • automatic programming
  • database
  • neural network
  • social networks
  • information systems
  • data structure
  • lower bound
  • finite state machines
  • finite automata