ISO/IEC CD TR 24718Deleted (project abandoned)

Guidance for the use of the Ada Ravenscar Profile in high integrity systems

Recommandations pour l'utilisation de "Ada Ravenscar Profile" dans les systèmes de haute intégrité