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: Norma Internacional en proceso de publicación [60.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