Building Heterogeneous Safety Cases for Automatically Generated Code
STRUCTURES OF AERATED-LIQUID JETS INJECTED FROM VARIOUS NOZZLE CONTOURS
Reshaping Periodic Light Pulses Using Cascaded Uniform Fiber Bragg Gratings
Broadband Arbitrary, Waveform Generation Based on Microwave Frequency Upshifting in Optical Fibers
Experimental Study of the Self-Starting Stochastic Behavior of Passive Mode-Locking
Rapid Exploration of the Design Space During Automatic Generation of Kalman Filter Code
Automatic Certification of Kalman Filters for Reliable Code Generation
AIAA-2004-5029 X-31 VECTOR - ESTOL to the Ground Flight Test Results and Lessons Learned
Automating Component Integration for Web-Based Data Analysis
From feasability to economic viability of a next Generation SCT
The Effect of German Unification on Alcohol-Related Traffic Crashes
ICAS-92-1.6.1 MPC75 - The Evolution of a New Regional Airliner for the Late Nineties