Login / Signup

To Correct Communicating Finite State Machines.

Hassan Mountassir
Published in: ACM Conference on Computer Science (1989)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • digital circuits
  • regular expressions
  • hidden markov models
  • domain knowledge
  • state transition
  • neural network
  • high level