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
OMR
66.54
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
OS GSO ISO/TR 18492:2017
ISO/TR 18492:2005
Omani Standard
Long-term preservation of electronic document-based information
GSO ISO/TR 18492:2017
ISO/TR 18492:2005
Gulf Standard
Long-term preservation of electronic document-based information
GSO ISO/TS 23635:2024
ISO/TS 23635:2022
Gulf Standard
Blockchain and distributed ledger technologies — Guidelines for governance
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
Recently Published from Information Sector
GSO ISO/IEC 3532-2:2026
ISO/IEC 3532-2:2024
Gulf Standard
Information technology — Medical image-based modelling for 3D printing — Part 2: Segmentation
GSO ISO/IEC 30141:2026
ISO/IEC 30141:2024
Gulf Standard
Internet of Things (IoT) — Reference architecture
GSO ISO/IEC 4944:2026
ISO/IEC 4944:2024
Gulf Standard
Information technology — User interfaces — Evaluating usability of natural user interfaces
GSO ISO 24311:2026
ISO 24311:2024
Gulf Standard
Intelligent transport systems — Mobility integration — 'Controlled zone' management for urban vehicle access restrictions (UVARs) using C-ITS