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