Projet
Spécification technique
ISO/IEC DTS 24718
Titre manque
Numéro de référence
ISO/IEC DTS 24718
Edition 1
Projet Spécification technique
ISO/IEC DTS 24718
86472
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

  •  : Projet
    : Texte final reçu ou FDIS enregistré pour approbation formelle [50.00]
  •  : 1
  • ISO/IEC JTC 1/SC 22
    35.060 
  • RSS mises à jour

Vous avez une question?

Consulter notre Aide et assistance