Login / Signup
Symbolic Simulation-Checking of Dense-Time Automata.
Farn Wang
Published in:
FORMATS (2007)
Keyphrases
</>
simulation model
database
mathematical model
cellular automata
dynamic programming
symbolic description
simulation environment
symbolic representation
finite state
simulation study
hidden markov models
xml documents
multiscale
high level
information systems
computer vision
data sets