NASA Logo

NTRS

NTRS - NASA Technical Reports Server

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

Back to Results
Runtime Verification
Document ID
20205011274
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Alwyn E Goodloe
(Langley Research Center Hampton, Virginia, United States)
Date Acquired
December 8, 2020
Subject Category
Computer Systems
Meeting Information
Meeting: 2021 AIAA SciTech Forum
Location: Virtual
Country: US
Start Date: January 11, 2021
End Date: January 15, 2021
Sponsors: American Institute of Aeronautics and Astronautics
Funding Number(s)
WBS: 340428.02.20.07.01
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Keywords
Runtime Verification
Formal Methods
No Preview Available