Translating expert system rules into Ada code with validation and verification
By: Lee Becker ... [et al.].
Contributors: Becker, Lee.; Langley Research Center.
Series: NASA contractor report -- 187505.; NASA contractor report -- NASA CR-187505.
Publisher: National Aeronautics and Space Administration, Langley Research Center
Published: 1991
Place of publication: Hampton, Va
Language: eng
Format: Microform
Number of pages: 114
Subjects: Expert systems (Computer science); Ada (Computer program language)
Notes: Distributed to depository libraries in microfiche.

Shipping list no.: 92-0167-M.

"June 1991."

Includes bibliographical references (p. 114).

Contractor report.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1991] 2 microfiches : negative.

NAG1-964 549-03-31-50, 488-80-04-01.