Comment Comment by FabienC > Fighter planes are coded in C++, not Ada.https://www.adacore.com/customers/eurofighter-typhoon https://www.adacore.com/customers/amx-modernization-program https://www.adacore.com/customers/arinc-653 https://www.adacore.com/company/our-customers parent FabienC 5 years ago
https://www.adacore.com/customers/eurofighter-typhoon https://www.adacore.com/customers/amx-modernization-program https://www.adacore.com/customers/arinc-653 https://www.adacore.com/company/our-customers