Review of Estelle and LOTOS with respect to critical computer applications
By: Rodney L. Bown.
Contributors: Lyndon B. Johnson Space Center. Flight Data Systems Division.
Series: NASA contractor report -- NASA CR-188596.
Publisher: Research Institute for Computing and Information Systems, University of Houston-Clear Lake; NASA Johnson Space Flight Center, Engineering Directorate, Flight Data Systems Division; National Technical Information Service, distributor
Published: 1991
Place of publication: [Clear Lake City, Tex.]; [Houston, Tex.]; [Springfield, Va
Language: eng
Format: Microform
Subjects: Programming languages (Electronic computers)
Notes: Distributed to depository libraries in microfiche.

Shipping list no.: 92-0095-M.

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