NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Items per page:
1 – 25 of 33

Top Results

Source

33 STI Collection

published

5 2019
4 2017
3 2010
3 2013
3 2015

author

3 Houchin, Scott
2 Graybill, Justin
2 Greene, Benton R.
2 Porter, Brian
2 Slingerland, Philip

Type

14 Conference Paper
7 Presentation
5 Technical Memorandum (TM)
3 Other
1 Accepted Manuscript (Version with final changes)

center

7 ARC
6 GRC
6 GSFC
5 KSC
4 JSC

subject Category

10 Computer Programming and Software
3 Air Transportation and Safety
3 Cybernetics, Artificial Intelligence and Robotics
3 Earth Resources and Remote Sensing
2 Aircraft Propulsion and Power

keyword

1 Abstract Interpretation
1 Formal Verification
1 ASTOR
1 ATOS
1 Abstract Interpretation

distribution

33 Public