Asynchronous correction for cascade composition of finite state machines.

Jung-Min Yang Seong Woo Kwak

Published in: SMC (2012)

Keyphrases

finite state machines
model checking
finite state automata
state machine
digital circuits
error correction
regular expressions
databases
asynchronous communication
asynchronous circuits
hidden markov models
data mining
object oriented
static analysis
domain knowledge
metadata
database
music composition