Login / Signup

Optimized synthesis of self-testable finite state machines.

Bernhard EschermannHans-Joachim Wunderlich
Published in: FTCS (1990)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • functional decomposition
  • digital circuits
  • state transition
  • hidden markov models
  • regular expressions
  • databases
  • domain specific