Optical Backplane for Modular Avionics
Development and Verification of Software for Flight Safety Critical Systems
Software Methodologies for Safety Critical Systems
Requirements and Traceability Management
Boitiers Composites pour Equipements Electroniques Aeroportes: Une Etude Technologique et CEM
Assuring Known Good Die (KGD) for Reliable, Cost Effective MCMs
MCMs for Avionics - Technology Selection and Intermodule Interconnection
The Impact of Advanced Packaging Technology on Modular Avionics Architectures
A Practical Experience of ADA for Developing Embedded Software
Coprocessor Support for Real-Time ADA
Electromagnetic Compatibility Effects of Advanced Packaging Configurations
The Data Oriented Requirements Implementation Scheme
Formal Specification of Satellite Telemetry: A Practical Experience
Software Design Considerations for an Airborne Command and Control Workstation
Aerospace Software Engineering Works
A Technique for Increasing the Bandwidth of High Performance Electrical Backplanes
Code Generation for Fast DSP-Based Real-Time Control