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
Spot: A Programming Language for Verified Flight SoftwareNo abstract available
Document ID
20160009654
Acquisition Source
Jet Propulsion Laboratory
Document Type
Presentation
External Source(s)
hdl:2014/45658
Authors
Bocchino, Rob (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Gamble, Ed (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Gostelow, Kim (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Som, Rafi (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Date Acquired
August 1, 2016
Publication Date
October 18, 2014
Subject Category
Computer Programming And Software
Meeting Information
Meeting: ACM High-Integrity Language Technology (HILT) 2014
Location: Portland, OR
Country: United States
Start Date: October 18, 2014
End Date: October 21, 2014
Sponsors: Association for Computing Machinery
Distribution Limits
Public
Copyright
Other
Keywords
Flight Systems
Message Passing
Avionics
Actors
Domain-specific Annotations

Available Downloads

There are no available downloads for this record.

Related Records

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