Back

ISO/IEC 24029-2:2023

Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods

General information

Valid from 01.08.2023
ICS Groups
35.020 Information technology (IT) in general
Directives or regulations
None

Standard history

Status
Date
Type
Name
01.08.2023
Main
ISO/IEC 24029-2:2023
This document provides methodology for the use of formal methods to assess robustness properties of neural networks. The document focuses on how to select, apply and manage formal methods to prove robustness properties.

Required fields are indicated with *

*
*
*
PDF
169.14 € incl tax
Paper
169.14 € incl tax
Standard monitoring
English (PDF 1 MB)

Related products

Main + amendment

EVS-EN IEC 62368-1:2020+A11:2020

Audio/video, information and communication technology equipment - Part 1: Safety requirements
Withdrawn from 15.05.2024
Main

EVS-EN 62368-1:2014

Audio/video, information and communication technology equipment - Part 1: Safety requirements
Newest version Withdrawn from 19.03.2020
Main

EVS-EN 62479:2010

Assessment of the compliance of low power electronic and electrical equipment with the basic restrictions related to human exposure to electromagnetic fields (10 MHz to 300 GHz)
Newest version Valid from 04.11.2010
Main

EVS-EN IEC 62368-3:2020

Audio/video, information and communication technology equipment - Part 3: Safety aspects for DC power transfer through communication cables and ports
Newest version Valid from 02.04.2020

Standards designation

EVS Estonian standard
EN European standard (published by an CEN or CENELEC)
EN ISO International standard adopted as an European standard
ISO International Organization for Standardization’s standard
IEC International Electrotechnical Commission’s standard
HD CENELEC’s harmonisation document
   
EVS-EN European standard implemented in Estonia
EVS-EN ISO International standard adopted in Europe and implemented in Estonia
EVS-EN ISO/IEC International standard/International electrotechnical standard adopted in Europe and implemented in Estonia
EVS-IEC International electrotechnical standard implemented in Estonia
EVS-ISO International standard implemented in Estonia
   
A, AMD amedment
+A a full standard plus the amendment
/A only amendment
COR, AC corrigendum
+COR a full standard plus the corrigendum
NA national annex
+NA a full standard plus the national annex
/NA only national annex
TS technical specification
TR technical report
CWA agreement, developed by a CEN or CENELEC
prEVS-EN (etc) draft standard
   
et the standard is in Estonian only
en the standard is in English only
et-en the standard is in Parallel text Estonian-English