Verification and validation of real-time software - Quirk, William J. (Berlin ; New York : Springer-Verlag, 1985)
Bibliography: p. [209]-231.
Keywords: Real-time data processing; Computer software -- Verification; Computer software -- Validation