Lfm2000
Subtitle: Fifth NASA Langley Formal Methods Workshop : proceedings of a workshop sponsored by the National Aeronautics and Space Administration and held at the Radisson Fort Magruder Hotel & Conference Center, Williamsburg Virginia, June 13-15, 2000
By: C. Michael Holloway, compiler.
Contributors: Holloway, C. Michael.; Langley Research Center.; United States. National Aeronautics and Space Administration.
Series: NASA/CP -- 2000-210100; NASA conference publication -- 2000-210100.
Publisher: National Aeronautics and Space Administration, Langley Research Center]; Available from NASA Center for AeroSpace Information
Published: 2000
Place of publication: [Hampton, Va; Linthicum Heights, Md
Language: eng
Number of pages: 198
Subjects: Automatic control -- Data processing -- Congresses.; Fault-tolerant computing -- Congresses.; System analysis -- Congresses.; System design -- Congresses.
Genres: Congresses.
Other titles: Fifth NASA Langley Formal Methods Workshop; Lfm 2000; Lfm two thousand
Notes: "June 2000."

"Performing organization report number L-17985"--Report Documentation page.

Includes bibliographical references.

Prepared by NASA Langley Research Center WU 519-50-11-01