Тезис

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.


Общая информация 

  • Текущий статус
     : В стадии разработки
  • Версия
     : 1
  • Технический комитет
     : ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces
  • ICS
     :
    35.060 Languages used in information technology

Жизненный цикл

Цели в области устойчивого развития

Данный стандарт разработан для достижения следующих Цель устойчивого развития

9
Индустриализация, инновации и инфраструктура

Появились вопросы?

Ознакомьтесь с FAQ

Работа с клиентами
+41 22 749 08 88

Часы работы:
Понедельник – пятница: 09:00-12:00, 14:00-17:00 (UTC+1)

  2. Интернет-магазин
  3. Каталог стандартов
  4. ТК
  5. ISO/IEC JTC 1/SC 22
  6. ISO/IEC CD TS 24718