Title: Third NASA Langley Formal Methods Workshop proceedings of a workshop sponsored by the National Aeronautics and Space Administration, Washington, D.C., and held at Langley Research Center, Hampton, Virginia, May 10-12, 1995.
Authors: Holloway, C. Michael; United States.; Langley Research Center.
Publisher: Langley Research Center,
Year: 1995
Subjects: Fault-tolerant computing Congresses; System design Congresses.