ISO/IEC 24029-2:2023
Formal verification
ISO/IEC AWI TS 17847
ISO/IEC NP TS 17847 -
Information technology – Artificial intelligence – Verification and validation analysis of AI systems
This document describes approaches and provides guidance on processes for the verification and validation analysis of AI systems (comprising AI…
ISO/IEC NP TS 12831
Information technology – Artificial intelligence – Testing for AI Systems
This document describes testing techniques (including those described in ISO/IEC/IEEE 29119-4) applicable for AI systems in the context of the…
Research and analysis item
Strategic Research Agenda supporting the EMN Mathmet by addressing EURAMETās key priorities and challenges in mathematics and statistics in metrology
This document constitutes the Strategic Research Agenda (SRA) for the European Metrology Network for Mathematics and Statistics in Metrology (EMN…