NASA Logo

NTRS

NTRS - NASA Technical Reports Server

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

Back to Results
Enabling Innovation With Safety
Document ID
20220015387
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Aaron Dutle
(Langley Research Center Hampton, Virginia, United States)
Date Acquired
October 13, 2022
Subject Category
Aeronautics (General)
Meeting Information
Meeting: BYU Mathematics Department Career Talks
Location: Provo, UT
Country: US
Start Date: October 26, 2022
End Date: October 26, 2022
Sponsors: Brigham Young University
Funding Number(s)
WBS: 34048.07.02.20.01
Distribution Limits
Public
Copyright
Portions of document may include copyright protected material.
Technical Review
NASA Peer Committee
Keywords
Software Assurance
Formal Methods
No Preview Available