Acquisition Source
Goddard Space Flight Center
Document Type
Conference Paper
Authors
Deadrick, Wesley (NASA Headquarters Washington, DC United States) Date Acquired
January 5, 2016
Publication Date
January 20, 2015
Subject Category
Computer Programming And SoftwareEngineering (General) Report/Patent Number
GSFC-E-DAA-TN20195Report Number: GSFC-E-DAA-TN20195 Meeting Information
Meeting: Workshop on Critical Software Systems (WOCS2)
Location: Tokyo
Country: Japan
Start Date: January 20, 2015
End Date: January 22, 2015
Sponsors: Information-Technology Promotion Agency (IPA), Japan Aerospace Exploration Agency
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Keywords
ValidationIndependentVerification