Timed Wp-Method: Testing Real-Time Systems

Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek. Timed Wp-Method: Testing Real-Time Systems. IEEE Trans. Software Eng., 28(11):1023-1038, 2002. [doi]

Abstract

Abstract is missing.