GSO ISO/IEC 24029-2:2025

ISO/IEC 24029-2:2023

Gulf Standard Current Edition · Approved on 14 October 2025

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

GSO ISO/IEC 24029-2:2025 Files

English 23 Pages

Current Edition Reference Language

165.8 USD

Add to cart Download Preview

Continue Shopping

GSO ISO/IEC 24029-2:2025 Scope

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.

Best Sellers From Information Sector

GSO ISO/TR 18492:2017

ISO/TR 18492:2005

Gulf Standard

Long-term preservation of electronic document-based information

Quick View

More Details

GSO ISO/TS 23635:2024

ISO/TS 23635:2022

Gulf Standard

Blockchain and distributed ledger technologies — Guidelines for governance

Quick View

More Details

GSO ISO/IEC 15773:2013

ISO/IEC 15773:1998

Gulf Standard

Information technology -- Telecommunications and information exchange between systems -- Broadband Private Integrated Services Network -- Inter-exchange signalling protocol -- Transit counter additional network feature

Quick View

More Details

GSO ISO 11238:2017

ISO 11238:2012

Gulf Standard

Health informatics -- Identification of medicinal products -- Data elements and structures for the unique identification and exchange of regulated information on substances

Quick View

More Details

View All

Recently Published from Information Sector

GSO ISO/IEC 4005-3:2025

ISO/IEC 4005-3:2023

Gulf Standard

Telecommunications and information exchange between systems — Unmanned aircraft area network (UAAN) — Part 3: Physical and data link protocols for control communication

Quick View

More Details