Login / Signup
Robust and extensible task implementations of synchronous finite state machines.
Qi Zhu
Peng Deng
Marco Di Natale
Haibo Zeng
Published in:
DATE (2013)
Keyphrases
</>
finite state machines
finite state automata
model checking
robust estimation
domain specific
computationally efficient
markup language
data sets
efficient implementation
regular expressions