Fourth NASA Langley Formal Methods Workshop
By: compiled by C. Michael Holloway and Kelly J. Hayhurst.
Contributors: Holloway, C. Michael.; Hayhurst, Kelly J.; United States. National Aeronautics and Space Administration.; Langley Research Center.
Series: NASA conference publication -- 3356.
Publisher: National Aeronautics and Space Administration, Langley Research Center]
Published: 1997
Place of publication: [Hampton, Va
Language: eng
Number of pages: 204
Subjects: Fault-tolerant computing -- Congresses; System design -- Congresses; System analysis -- Congresses; Automatic control -- Data processing -- Congresses
Genres: Congresses.
Other titles: 4th NASA Langley Formal Methods Workshop.; Lfm97.
Notes: "Proceedings of a workshop sponsored by the National Aeronautics and Space Administration, Washington, D.C., and held at the Radisson Hotel, Hampton, Virginia, September 10-12, 1997."

"September 1997."

Performing organization: NASA Langley Research Center.

Includes bibliographical references.