Aerospace sensor systems and applications
Aerospace sensor systems and applications
Applying the B-Method to Avionics Software: An Initial Report on the MIST Project
Safety and Security Requirements for an Advanced Train Control System
Initial safety considerations for an advanced transport system
Is there a role for third party software assessment in the automotive industry?
Technology Evolution and Its Impact on Air Traffic Management
Safely Reducing Delays Due to Adverse Terminal Weather
The Probable Evolution of the "Air Segment" on a Medium and a Long Term Basis
Multi-Airport Ground Holding Problem: A Heuristic Approach Based on Priority Rules
Creating New Operational Concepts for Global Automated ATM Systems
The Center-Tracon Automation System: Simulation and Field Testing
Scheduling Models and Algorithms for TMA Traffic Management
Network Optimization in Air Traffic Management
Robust flight control : a design challenge