Acquisition Source
Legacy CDMS
Document Type
Conference Proceedings
Authors
Holloway, C. Michael (NASA Langley Research Center Hampton, VA, United States) Date Acquired
September 6, 2013
Publication Date
June 1, 1995
Subject Category
Mathematical And Computer Sciences (General) Report/Patent Number
NASA-CP-10176NAS 1.55:10176 Meeting Information
Meeting: Third NASA Langley Formal Methods Workshop
Location: Hampton, VA
Country: United States
Start Date: May 10, 1995
End Date: May 12, 1995
Sponsors: NASA Headquarters
Accession Number
96N10026
Funding Number(s)
PROJECT: RTOP 505-64-50-03
PROJECT: RTOP 505-64-10-13
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.