En proceso de publicación
Technical Specification
ISO/IEC TS 24718
Information technology — Programming languages — Guidance for the use of the Ada Ravenscar Profile in high integrity systems
Reference number
ISO/IEC TS 24718
Edition 1
En proceso de publicación Technical Specification
ISO/IEC TS 24718
86472
Pasos finales de producción (hasta siete semanas).
Reemplazará ISO/IEC TR 24718:2005

Resumen

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.

Informaciones generales

  •  : En desarrollo
    : Norma Internacional en proceso de publicación [60.00]
  •  : 1
  • ISO/IEC JTC 1/SC 22
    35.060 
  • RSS actualizaciones

¿Tiene alguna duda?

Consulte nuestras Ayuda y asistencia