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…
Formal verification
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 DIS 24029-2
Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods
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…
