2875 search results - page 3 / 575 » Model checking agentspeak |
SPIN
2010
Springer
13 years 4 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
IJSEKE
2011
12 years 9 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
ENTCS
2002
13 years 6 months ago
2002
QEST
2010
IEEE
13 years 4 months ago
2010
IEEE
ICST
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...