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