Login / Signup

Stability of deterministic finite state machines.

Danielle C. TarrafMunther A. DahlehAlexandre Megretskr
Published in: ACC (2005)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • hidden markov models
  • black box
  • regular expressions
  • digital circuits
  • database
  • data sets
  • domain specific
  • stability analysis