TY  - BOOK
AU  - Quirk,William J.
TI  - Verification and validation of real-time software
SN  - 0387151028 (U.S.)
AV  - QA76.54 .V47 1985
U1  - 005.1 19
PY  - 1985///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Real-time data processing
KW  - Computer software
KW  - Verification
KW  - Validation
N1  - Bibliography: p. [209]-231
ER  -