GNAT Pro Assurance réduit les efforts de développement, de vérification et de maintenance des logiciels destinés à l’avionique
AdaCore présente un environnement de développement en Ada avancé, GNAT Pro Assurance, destiné à des projets pour lesquels la fiabilité ou la maintenance à long terme sont critiques. Offrant un support direct à
Cet article est réservé aux abonnés numérique Web.