Scheduling vehicle between origin and destination to maximize traveler satisfaction
The selection of an Ada compiler for a real-time embedded avionics application
Ada in the post deployment software support environment
Design and test strategies for a safety-critical embedded executive
New competitive strategies for searching in unknown star-shaped polygons
Integrated premission planning and execution for unmanned ground vehicles
Design of Intelligent Flight Controllers for Helicopter Control
Tracking Pedestrians from Monocular Image Sequences
Detecting Regions-of-interest: the Mars Rover Application
A Rule-based Vehicular Traffic Tracking System
Estimation of Face From an Image Using Eigen Space Method
Reusing single system requirements from application family requirements
ASDEN: a comprehensive design framework vision for automotive electronic control systems
Rendering effective route maps: improving usability through generalization
Investigating the readability of state-based formal requirements specification languages
Using specification-driven concepts for distributed data management and dissemination
Learning to predict train wheel failures
An approach to the pervasive formal specification and verification of an automotive system
Requirements of an integrated formal method for intelligent swarms