ISO/IEC CD TS 24718
u
ISO/IEC CD TS 24718
86472

Тезис

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
  •  :
    35.060 Languages used in information technology

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

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

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

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

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

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

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