NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Talking Points on Reducing Software Vulnerabilities: Formal MethodsNo abstract available
Document ID
20190033794
Acquisition Source
Jet Propulsion Laboratory
Document Type
Presentation
External Source(s)
hdl:2014/46888
Authors
Doyle, Richard (Jet Propulsion Laboratory (JPL), California Institute of Technology (CalTech) Pasadena, CA, United States)
Joshi, Rajeev (Jet Propulsion Laboratory (JPL), California Institute of Technology (CalTech) Pasadena, CA, United States)
Havelund, Klaus (Jet Propulsion Laboratory (JPL), California Institute of Technology (CalTech) Pasadena, CA, United States)
Date Acquired
December 12, 2019
Publication Date
July 13, 2016
Subject Category
Computer Systems
Report/Patent Number
JPL-CL-16-3059
Report Number: JPL-CL-16-3059
Meeting Information
Meeting: Software and Supply Chain Assurance Forum
Location: McLean, VA
Country: United States
Start Date: July 13, 2016
End Date: July 15, 2016
Sponsors: National Inst. of Standards and Technology (NIST)
Distribution Limits
Public
Copyright
Other

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available