Quirk, W.J. Verification and validation of real-time software. W.J. Quirk. - New York - xi,245p.:ill.; Hbk ISBN: 3540151028 Subjects--Topical Terms: Real --Time data processingComputer software --Verification. LC Class. No.: OA76.54.V4 1985