DS/ISO/IEC TS 24718:2025
Current
Current
The latest, up-to-date edition.
Information technology – Programming languages – Guidance for the use of the Ada Ravenscar Profile in high integrity systems
Published date
07-02-2025
Publisher
Sorry this product is not available in your region.
This document provides guidance on the use of the Ravenscar profile for concurrent Ada software intended for verification up to, and including, the very highest levels of integrity.
| Committee |
DS/S-442
|
| DocumentType |
Technical Specification
|
| PublisherName |
Danish Standards
|
| Status |
Current
|
| Standards | Relationship |
| ISO/IEC TS 24718:2025 | Identical |
Summarise
Access your standards online with a subscription
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.
Sorry this product is not available in your region.