204 search results - page 1 / 41 » Test Derivation from Timed Automata |
DAGSTUHL
2004
13 years 7 months ago
2004
CHARME
1995
Springer
13 years 9 months ago
1995
Springer
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
ICST
2009
IEEE
14 years 8 days ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
FORTEST
2008
13 years 7 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
IANDC
2008
13 years 5 months ago
2008
Abstract. Cellular Automata can be considered discrete dynamical systems and at the same time a model of parallel computation. In this paper we investigate the connections between ...