TY  - RPRT
TI  - Validation of highly reliable, real-time knowledge-based systems
AU  - Johnson, Sally C.
PY  - 1988
UR  - https://ntrs.nasa.gov/citations/19890010462
ID  - 19890010462
ER  -