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