Requirements-Based Testing of Real-Time Systems: Modeling for Testability

M. Chandrasekharan, B. Dasarathy, Z. Kishimoto. Requirements-Based Testing of Real-Time Systems: Modeling for Testability. IEEE Computer, 18(4):71-80, 1985.

Abstract

Abstract is missing.