National Workshop on Aviation Software Systems for the Second Century of Flight: Design for Certifiably Dependable Systems held in Alexandria, VA, October 5-6, 2006
file
This Report is based on the results of the National Workshop on Aviation Software Systems for the Second Century of Flight: Design for Certifiably Dependable Systems held in Alexandria, VA, October 5-6, 2006.