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
62.39 BHD
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
GSO ISO/TS 23635:2024
ISO/TS 23635:2022
Gulf Standard
Blockchain and distributed ledger technologies — Guidelines for governance
BH GSO ISO/IEC 15773:2016
ISO/IEC 15773:1998
Bahraini Standard
Information technology -- Telecommunications and information exchange between systems -- Broadband Private Integrated Services Network -- Inter-exchange signalling protocol -- Transit counter additional network feature
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 5338:2025
ISO/IEC 5338:2023
Gulf Standard
Information technology — Artificial intelligence — AI system life cycle processes
GSO ISO/IEC 24773-2:2025
ISO/IEC 24773-2:2024
Gulf Standard
Software and systems engineering — Certification of software and systems engineering professionals — Part 2: Guidance regarding description of knowledge, skills, and competencies contained in schemes
GSO ISO/IEC 5392:2025
ISO/IEC 5392:2024
Gulf Standard
Information technology — Artificial intelligence — Reference architecture of knowledge engineering
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