A small spaceborne lidar for atmospheric backscatter measurements
Materials sciences in space : a contribution to the scientific basis of space processing
Dynamic planning and time-conflict resolution in air traffic control
Knowledge-based pilot aids: A case study in mission planning
Script-based generation and evaluation of expectations in traffic scenes
Fatigue behaviour of offshore structures
Computers in railway management
Computer applications in spacecraft design and operation
Race to the stratosphere : manned scientific ballooning in America
A knowledge based system for traffic sign recognition
A decision making system in aviation medicine
Ada in safety critical applications
A modular system for traffic flow simulations at intersections and in networks
CASE support for large systems
Introducing HOOD into software process modelling based environments
Formally specifying the logic of an automatic guidance controller
Reusable input/output packages for ada avionic applications
Constructing a pilot library of components for avionic systems
Testing and integrating a large embedded real-time system