NASA Formal Methods Workshop (5th 2000 Williamsburg, Va.)

Identifiers

Open LibraryOL6116081A

Top Subjects

Fault-tolerant computing -- Congresses (1)
System analysis -- Congresses (1)
System design -- Congresses (1)
Automatic control -- Data processing -- Congresses (1)

Books by NASA Formal Methods Workshop (5th 2000 Williamsburg, Va.)

Total count: 1

Lfm2000Fifth 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

National Aeronautics and Space Administration, Langley Research Center]2000-01-01