Verification and validation of real-time software. - Quirk, W.J. (New York)
Keywords: Real -- Time data processing; Computer software -- Verification