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.
Informations générales
-
État actuel: ProjetStade: Texte final reçu ou FDIS enregistré pour approbation formelle [50.00]
-
Edition: 1
-
Comité technique :ISO/IEC JTC 1/SC 22ICS :35.060
- RSS mises à jour
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)