SAE Aerospace Electronics and Avionics Systems Conference

Oct 30 - Nov 1, 2012 – Phoenix, AZ

Greg Gicca is presenting a paper “Meeting Top Safety and Security Requirements while Reducing Cost, Size, Weight, and Energy: Achieving High Assurance through a Verifiable Language on a
MILS Architecture”.