ISO/IEC DTS 24718

Projet

Projet au stade approbation.

Remplacera ISO/IEC TR 24718:2005

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
: Projet

Stade
: Texte final reçu ou FDIS enregistré pour approbation formelle [50.00]
Edition
: 1
Comité technique :
ISO/IEC JTC 1/SC 22

ICS :
35.060
RSS mises à jour