Slide 1 1 National Workshop on Aviation Software Systems: Design for Certifiably Dependable Systems Natasha Neogi October 5-6, 2006 Arlington, VA Slide 2 2 The Next Generation…
