Login / Signup

Reachability and state recovery for input/state switched asynchronous sequential machines.

Sang Sik LeeDongik LeeJung-Min Yang
Published in: ECC (2015)
Keyphrases
  • state space
  • data sets
  • special case
  • real time
  • search engine
  • high level