Timer Embedded Finite State Machine Modeling And Its Application.

Duckwoong Lee Byoung Kyu Choi Joohoe Kong

Published in: ECMS (2010)

Keyphrases

finite state machines
finite state automata
modeling language
digital circuits
high level
hidden markov models
model checking
state transition
neural network
digital images
domain specific