logo

Standards Manage Your Business

We Manage Your Standards

ISO

ISO/IEC 24029-2:2023

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

Standard Details

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.

General Information

Status : Published
Standard Type: Main
Document No: ISO/IEC 24029-2:2023
Document Year: 2023
Pages: 23
Edition: 1
  • ICS:
  • 35.020 Information technology (IT) in general

Life Cycle

Currently Viewing

Published
ISO/IEC 24029-2:2023
Knowledge Corner

Expand Your Knowledge and Unlock Your Learning Potential - Your One-Stop Source for Information!

© Copyright 2024 BSB Edge Private Limited.

Enquire now +