Press Enter or click the Search button to begin your search.
Collections
Top Results
Source
8 STI Collection
published
2 2010
1 2006
1 2008
1 2017
author
2 Anastasia Mavridou
2 Andreas Katis
2 Rajan, Ajitha
2 Tom Pressburger
1 Ajitha Rajan
Type
4 Conference Paper
2 Presentation
1 Conference Publication (CP)
1 Contractor Report (CR)
center
4 LaRC
2 ARC
1 GSFC
1 MSFC
subject Category
3 Mathematical and Computer Sciences (General)
1 Computer Programming And Software
1 Lunar and Planetary Science and Exploration
1 Mathematical And Computer Sciences (General)
1 Numerical Analysis
keyword
2 CoCoSim
2 FRET
2 Formal Methods
2 Formal Specification
2 Model Checking
distribution
8 Public