Executable assertions and flight software
By: Aamer Mahmood, Dorothy M. Andrews, and Edward J. McCluskey.
Contributors: Andrews, Dorothy M. d. 1984.; McCluskey, Edward J., 1929-; United States. National Aeronautics and Space Administration.
Series: NASA contractor report -- NASA CR-176759.; CRC technical report -- no. 84-16.; CSL TR -- no. 84-258.
Publisher: Center for Reliable Computing, Computer Systems Laboratory, Dept. of Electrical Engineering and Computer Science, Stanford University; National Aeronautics and Space Administration
Published: 1984
Place of publication: Stanford, Calif; [Washington, D.C
Language: eng
Format: Microform
Subjects: Flight control -- Software.
Notes: Distributed to depository libraries in microfiche.

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