Using formal specification in the guidance and control software (GCS) experiment
Subtitle: final report
By: prepared by Odyssey Research Associates, Inc.
Contributors: Langley Research Center.
Series: NASA contractor report -- 194884.; NASA contractor report -- NASA CR-194884.
Publisher: National Aeronautics and Space Administration, Langley Research Center
Published: 1994
Place of publication: Hampton, VA
Language: eng
Format: Microform
Subjects: Space vehicles -- Control systems -- Data processing.
Notes: Distributed to depository libraries in microfiche.

Shipping list no.: 94-0444-M.

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