Thales väljer verktyg från AdaCore för satellitprojektet Argos

GNAT Pro kommer att användas på säkerhetskritisk mjukvara för globalt positions- och datainsamlingssystemEmbedded Systems Conference - AdaCore, leverantör av verktyg och expertis för utveckling av uppdrags- och säkerhetskritisk mjukvara, tillkännagav idag att Thales Airborne Systems har valt..