Space Based Radar System Modeling in the Spacecraft Simulation Toolkit
Process Definition for Capturing Legacy System Requirements
Improved Space Computer (ISCP): Very High Throughput Processing for 21st Century Satellites
Evaluation of Electromagnetic Radiated Susceptibility Testing Using Induced Currents
Geocoding the DTEMS Digital Terrain Matrix and Radar Image Products
ESL: A Language for Supporting Robust Plan Execution in Embedded Autonomous Agents
First Results on the Application of Fynesse Control Architecture
Electromagnetic Magnitude & Phase Measurements from Infrared Thermograms
Model Correlation for Mars Pathfinder Entry, Descent and Landing Simulation
PARAGON: An Paradigm for the Specification, Verification, and Testing of Real-Time Systems
Revolutionary Next Generation Satellite Communications Architectures and Systems