Définition

Code source Ada, un langage structuré à typage statique conçu pour les systèmes critiques en sécurité dans l'aérospatiale, la défense et les transports.

Terme défini