ISO/IEC 24029-2-ed.1.0

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

NORMA vydaná dňa 1.8.2023

Anglicky -
Elektronické PDF (172.50 EUR)

Anglicky -

Tlačené (172.50 EUR)

Anglicky -

CD-ROM (174.10 EUR)

Informácie o norme:

Označenie normy: ISO/IEC 24029-2-ed.1.0
Dátum vydania normy: 1.8.2023
Počet strán: 23
Približná hmotnosť: 69 g (0.15 libier)
Krajina: Medzinárodná technická norma
Kategória: Technické normy ISO

Anotácia textu normy ISO/IEC 24029-2-ed.1.0 :

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.