Login / Signup
Formalizing Safety Requirements Using Controlling Automata
Zhe Chen
Gilles Motet
Published in:
CoRR (2009)
Keyphrases
</>
data sets
cellular automata
regular expressions
user requirements
finite automata
website
application specific
databases
information retrieval
digital libraries
pattern matching
tree automata
turing machine