Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Natasha Neogi (Langley Research Center Hampton, Virginia, United States) Date Acquired
March 8, 2021
Subject Category
Air Transportation And Safety Meeting Information
Meeting: SAE AeroTech Digital Summit
Location: Virtual
Country: US
Start Date: March 9, 2021
End Date: March 11, 2021
Sponsors: Society of Automotive Engineers International
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Technical Review
NASA Peer Committee
Keywords
Safety Critical SystemsProductive SafetyFormal Methods