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
LADEE Flight Software: Verification TechniquesNo abstract available
Document ID
20140012997
Acquisition Source
Ames Research Center
Document Type
Presentation
Authors
Gundy-Burlet, Karen (NASA Ames Research Center Moffett Field, CA United States)
Date Acquired
October 15, 2014
Publication Date
July 21, 2014
Subject Category
Lunar And Planetary Science And Exploration
Computer Programming And Software
Report/Patent Number
ARC-E-DAA-TN16412
Report Number: ARC-E-DAA-TN16412
Meeting Information
Meeting: SPIN 2014: International SPIN Symposium on Model Checking of Software
Location: San Jose, CA
Country: United States
Start Date: July 21, 2014
End Date: July 23, 2014
Sponsors: NASA Headquarters, ACM Special Interest Group on Software Engineering HQ, International Business Machines Corp., SGT, Inc., Microsoft Research, Nvidia Corp.
Funding Number(s)
WBS: WBS 534723.02.02.01.40
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Keywords
Model based development
Verification and Validation
Spacecraft Flight Software

Related Records

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