Login / Signup

Expanding an Extended Finite State Machine to aid Testability.

Robert M. HieronsT.-H. KimHasan Ural
Published in: COMPSAC (2002)
Keyphrases
  • finite state machines
  • state machine
  • model checking
  • finite state automata
  • digital circuits
  • state transition
  • cellular automaton
  • data sets
  • hidden markov models
  • co occurrence
  • semi automatic