Hardware proofs using EHDM and the RSRE verification methodology
By: Ricky W. Butler, Jon A. Sjogren.
Contributors: Sjogren, Jon A.; Langley Research Center.; United States. Army Aviation Research and Technology Activity.
Series: NASA technical memorandum -- 100669.; AVSCOM technical memorandum -- 88-B-017.; AVSCOM technical memorandum -- 88-B-17.
Publisher: National Aeronautics and Space Administration, Langley Research Center; US Army Aviation Systems Command, Aviation R&T Activity; For sale by the National Technical Information Service
Published: 1989
Place of publication: Hampton, Va; [St. Louis, Mo.]; [Springfield, Va
Language: eng
Format: Microform
Subjects: Computer programs.
Notes: Distributed to depository libraries in microfiche.

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