Rechercher

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. To this end, this document provides a complete description of the motivations behind the Ravenscar profile, to show how conformant programs can be analysed, and to give examples of usage. This document is aimed at a…

This document covers cabling channel specifications, for cabling channels constructed from balanced single-pair cabling components, intended for use in:  1)    industrial automation applications, Industrial Internet of Things (IIoT), Industry 4.0; 2)   enterprise building applications, Internet of Things (IoT), smart lighting, energy management, and access control; 3)   other IoT applications,…

Le présent document spécifie les exigences relatives à la lave volcanique telle qu’elle est fournie pour la préparation par projection. Il spécifie les intervalles granulométriques et les valeurs de masse volumique apparente, la dureté Mohs, la teneur en humidité, la conductivité de l’extrait aqueux ainsi que la teneur en chlorures solubles dans l’eau. Les exigences spécifiées dans le présent…

This document specifies requirements for volcanic lava, as supplied for blast-cleaning processes. It specifies ranges of particle sizes and values for apparent density, Mohs hardness, moisture content, conductivity of aqueous extract and water-soluble chlorides. The requirements specified in this document apply to abrasives supplied in “new” condition only. They do not apply to abrasives either…

This document specifies the conformance testing of the ISO/IEC 18181 series, also known as JPEG XL. NOTE            Other desirable aspects of implementation (including robustness and performance) are outside the scope of this document.

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. To this end, this document provides a complete description of the motivations behind the Ravenscar profile, to show how conformant programs can be analysed, and to give examples of usage. This document is aimed at a…

This document specifies the conformance testing of the ISO/IEC 18181 series, also known as JPEG XL. NOTE Other desirable aspects of implementation (including robustness and performance) are outside the scope of this document.

This document specifies the reference software for carriage of V3C data as specified in ISO/IEC 23090-10. The information provided describes the reference software modules and the features that it supports. It also provides a description of how the reference software can be utilized. Finally, it also provides a description of conformance test vectors.

This document specifies data formats for both transport and storage of genomic information, including the conversion process.

This document specifies simple procedures to check the performance and calibration status of static scales. The test sequence is applicable to routine applications, generating results which can be used to calculate explicit scale performance parameters (precision, bias and linearity) in accordance with the relevant formulae shown in ISO 12745.