TY  - RPRT
TI  - A formal approach to validation and verification for knowledge-based control systems
AU  - Castore, Glen
PY  - 1987
UR  - https://ntrs.nasa.gov/citations/19880007849
ID  - 19880007849
ER  -