Login / Signup
Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification.
Usa Sammapun
Arvind Easwaran
Insup Lee
Oleg Sokolsky
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
regular expressions
pattern matching
finite automata
semistructured data
query language
xml schema
deterministic finite automata
model checking
regular path queries
matching algorithm
tree automata
regular languages
object oriented
graph databases