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
A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems
Document ID
20210015373
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Paolo Manuel Masci (National Institute of Aerospace Hampton, Virginia, United States)
Cesar Augusto Munoz (Langley Research Center Hampton, Virginia, United States)
Date Acquired
May 11, 2021
Subject Category
Air Transportation And Safety
Meeting Information
Meeting: 15th International Conference on Tests and Proofs
Location: Bergen (Norway) -- Virtual
Country: NO
Start Date: June 21, 2021
End Date: June 25, 2021
Sponsors: TAP
Funding Number(s)
WBS: 340428.02.20.07.01
Distribution Limits
Public
Copyright
Use by or on behalf of the US Gov. Permitted.
Keywords
Validation
Verification
Detect and Avoid
Formal Methods
Document Inquiry

Available Downloads

There are no available downloads for this record.

Related Records

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