Login / Signup
Implementing Deterministic Finite State Machines using Guard-Stage-Milestone.
Mike A. Marin
Hugo Lotriet
John A. van der Poll
Published in:
SAICSIT (2016)
Keyphrases
</>
finite state machines
model checking
finite state automata
digital circuits
hidden markov models
database
efficient implementation
regular expressions
black box
data model
business intelligence
pattern matching