Résumé
This document provides guidance on the use of the Ravenscar Profile for Ada software using concurrency and intended to be verified up to, and including, the very highest integrity levels.
-
État actuel: Projet
-
Edition: 1
-
Comité technique: ISO/IEC JTC 1/SC 22 Langages de programmation, leur environnement et interfaces des logiciels de systèmes
-
- ICS :
- 35.060 Langages utilisés dans les technologies de l'information
Cycle de vie
-
Précédemment
PubliéeISO/IEC TR 24718:2005
-
Actuellement
Vous avez une question?
Consulter notre FAQ
Service à la clientèle
+41 22 749 08 88
Horaires d’ouverture:
De lundi à vendredi - 09:00-12:00, 14:00-17:00 (UTC+1)