C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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