Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Cary R Spitzer (Langley Research Center Hampton, United States) Date Acquired
September 6, 2013
Publication Date
November 1, 1990
Publication Information
Publication: NASA Formal Methods Workshop, 1990
Publisher: National Aeronautics and Space Administration
Subject Category
Avionics and Aircraft Instrumentation Meeting Information
Meeting: NASA Formal Methods Workshop
Location: Hampton, VA
Country: US
Start Date: August 20, 1990
End Date: August 23, 1990
Sponsors: National Aeronautics and Space Administration
Accession Number
91N17560
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Technical Review
NASA Technical Management