Design and structural performance assessment of a composite intensive passenger vehicle
Formal requirements analysis of an avionics control system
AI coming of age: NASA uses AI for autonomous space exploration
Using neural networks to predict component inspection requirements for aging aircraft
Reuse in Command-and-Control Systems
Validating an embedded intelligent sensor control system
Rate monotonic analysis for real-time systems
ATSR-2 Electrical Ground Support Equipment software design and development
User-to-user protection enhances network security
Safety verification of Ada programs using software fault trees
Integrating hardware and software in military systems
On the edge-analysis of transactions and computers