Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Aaron Dutle (Langley Research Center Hampton, Virginia, United States) Date Acquired
October 13, 2022
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
Distribution Limits
Public
Copyright
Portions of document may include copyright protected material.
Technical Review
NASA Peer Committee
Keywords
Software AssuranceFormal Methods