Finite State Machine Based Real Time Scheduling for Microchip.

Fang-Yie Leu Yi-Ting Hsiao

Published in: IMIS (2016)

Keyphrases

finite state machines
model checking
finite state automata
integrated circuit
state machine
state transition
regular expressions
hidden markov models
cellular automaton
digital circuits
databases
database systems
data model