Verification and validation of real-time software /
edited by W.J. Quirk.
- Berlin ; New York : Springer-Verlag, c1985.
- xi, 245 p. : ill. ; 25 cm.
Bibliography: p. [209]-231.
0387151028 (U.S.)
85140127
Real-time data processing.
Computer software--Verification.
Computer software--Validation.
QA76.54 / .V47 1985
005.1
Bibliography: p. [209]-231.
0387151028 (U.S.)
85140127
Real-time data processing.
Computer software--Verification.
Computer software--Validation.
QA76.54 / .V47 1985
005.1