0 Stavka
Moj nalog
Telefon: (011) 7541-421, 3409-301, 3409-335, 6547-293, 3409-310
E-mail: Prodaja standarda: prodaja@iss.rs Seminari, obuke: iss-edukacija@iss.rs Informacije o standardima: infocentar@iss.rs
Stevana Brakusa 2, 11030 Beograd
Glavni meni

ISO/IEC 24029-2:2023

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

Опште информације

60.60     1. 8. 2023.

ISO/IEC

ISO/IEC JTC 1/SC 42

Međunarodni standard

35.020  

engleski  

Kupovina

Objavljen

Jezik na kome želite da primite dokument.

Apstrakt

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.

Životni ciklus

TRENUTNO

OBJAVLJEN
ISO/IEC 24029-2:2023
60.60 Standard objavljen
1. 8. 2023.