5707 search results - page 69 / 1142 » Symbolic Simulation - Techniques and Applications |
WICOMM
2010
13 years 9 months ago
2010
WSC
2008
14 years 1 months ago
2008
This paper provides a brief literature review of the current applications of simulation in Australia. The paper identifies areas that use simulation modeling and dynamic tools for...
ENTCS
2008
13 years 11 months ago
2008
In the framework of graph transformation, simulation rules define the operational behavior of visual models. Moreover, it has been shown already how to construct animation rules f...
CAV
2003
Springer
14 years 4 months ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...