Evidence flow graph methods for validation and verification of expert systems
Subtitle: final report on NASA grant NAG-1-809
By: Lee A. Becker, Peter G. Green, Jayat Bhatnagar.
Contributors: Green, Peter G.; Bhatnagar, Jayat.; United States. National Aeronautics and Space Administration.
Series: NASA contractor report -- NASA CR-183399.
Publisher: Intelligent Machines Project, Artificial Intelligence Research Group, Worcester Polytechnic Institute; National Aeronautics and Space Administration; National Technical Information Service, distributor
Published: 1988
Place of publication: Worcester, Mass; [Washington, DC; Springfield, Va
Language: eng
Format: Microform
Subjects: Expert systems.; Flow charts.; Proving.
Notes: Distributed to depository libraries in microfiche.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1889] 1 microfiche.