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
-
Estado: En desarrolloEtapa: Texto final recibido o FDIS registrado para su aprobación formal [50.00]
-
Edición: 1
-
Comité Técnico :ISO/IEC JTC 1/SC 22ICS :35.060
- RSS actualizaciones
Ciclo de vida
-
Anteriormente
PublicadoISO/IEC TR 24718:2005
-
Ahora
Got a question?
Check out our FAQs
Customer care
+41 22 749 08 88
Opening hours:
Monday to Friday - 09:00-12:00, 14:00-17:00 (UTC+1)