NASA Formal Methods Workshop 1990
Subtitle: proceedings of a workshop sponsored by the National Aeronautics and Space Administration, Washington, D.C., and held at Langley Research Center, Hampton,Virginia, August 20-23 1990
By: compiled by Ricky W. Butler
Contributors: Butler, Ricky W; United States. National Aeronautics and Space Administration; Langley Research Center
Series: NASA conference publication -- 10052
Publisher: National Aeronautics and Space Administration, Langley Research Center; For sale by the National Technical Information Service
Published: 1990
Place of publication: Hampton, Va; [Springfield, Va
Language: eng
Format: Microform
Subjects: Fault-tolerant computing -- Congresses; System design -- Congresses; System analysis -- Congresses; Automatic control -- Data processing -- Congresses
Notes: Cover title

Distributed to depository libraries in microfiche

"November 1990."

Includes bibliographical references

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

505-66-21-01