Use of Data Mining for Root Cause Analysis of Traffic Accidents in Colombia
Security audit for embedded avionics systems
Laboratory concepts in avionics software
Digital map integration in advanced tactical cockpits
A verifiable, autonomous satellite control system
AJACS : applying Java to automotive control systems