ISO/IEC DTS 24718

Information technology — Programming languages — Guidance for the use of the Ada Ravenscar Profile in high integrity systems

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.

OEN:

ISO

Langue:

English

Code(s) de l'ICS:

35.060

Statut:

Brouillon

Date de Publication:

1969-12-30

Numéro Standard:

ISO/IEC DTS 24718