NASA Logo

NTRS

NTRS - NASA Technical Reports Server

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

Back to Results
Using Assume-Guarantee Contracts in Autonomous Spacecraft
Document ID
20210000726
Acquisition Source
Johnson Space Center
Document Type
Presentation
Authors
James B Dabney
(University of Houston - Clear Lake Houston, Texas, United States)
Pavan Rajagopal
(CACI International (United States) Arlington, Virginia, United States)
Julia M Badger
(Johnson Space Center Houston, Texas, United States)
Date Acquired
January 21, 2021
Subject Category
Computer Programming And Software
Meeting Information
Meeting: 2021 Flight Software Workshop
Location: Virtual
Country: US
Start Date: February 8, 2021
End Date: February 11, 2021
Sponsors: The Aerospace Corporation, Johns Hopkins University Applied Physics Laboratory, Southwest Research Institute, Jet Propulsion Lab
Funding Number(s)
WBS: 651937.06.03.72
Distribution Limits
Public
Copyright
Public Use Permitted.
Technical Review
Single Expert
Keywords
Verification and Validation
Formal Methods
No Preview Available