AIAA-2004-5029 X-31 VECTOR - ESTOL to the Ground Flight Test Results and Lessons Learned
Automatic Certification of Kalman Filters for Reliable Code Generation
Automating Component Integration for Web-Based Data Analysis
Broadband Arbitrary, Waveform Generation Based on Microwave Frequency Upshifting in Optical Fibers
Building Heterogeneous Safety Cases for Automatically Generated Code