Collections
Top Results
Source
15 STI Collection
1 CHORUS
published
3 2015
3 2017
1 2016
1 2018
1 2019
author
7 Schumann, Johann
3 Johann Schumann
3 Michael Whitzer
3 Pavan Rajagopal
3 Rozier, Kristin Y.
Type
7 Presentation
6 Conference Paper
1 Abstract
1 Reprint (Version printed in journal)
1 Version of Record
center
11 ARC
4 JSC
subject Category
5 Computer Programming And Software
3 Computer Programming and Software
2 Air Transportation And Safety
1 Aircraft Design, Testing And Performance
1 Aircraft Propulsion And Power
keyword
3 Verification
2 Formal Methods
2 Unmanned Aircraft
1 Assume-guarantee contracts
1 Computer Science
distribution
16 Public