494 search results - page 4 / 99 » Real-Time and Hybrid Systems Testing |
RTSS
1999
IEEE
13 years 11 months ago
1999
IEEE
RTSS
1999
IEEE
13 years 11 months ago
1999
IEEE
WETICE
2006
IEEE
14 years 1 months ago
2006
IEEE
Peer-to-Peer architecture is currently an attractive solution for facilitating the use of collaboration software without any server. Multicasting is usually proposed for group com...
FORTEST
2008
13 years 9 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...
DATE
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...