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

Information Sector
Information technology (IT) in general

GSO ISO/IEC 24029-2:2025 Files

English 23 Pages
Current Edition Reference Language
63.28 OMR
  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

OS GSO ISO/TR 18492:2017
ISO/TR 18492:2005 
Omani Standard
Long-term preservation of electronic document-based information
  Quick View
More Details 
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 
View All  

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
  Quick View
More Details 
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
  Quick View
More Details 
GSO ISO/IEC 27005:2025
ISO/IEC 27005:2022 
Gulf Standard
Information security, cybersecurity and privacy protection — Guidance on managing information security risks
  Quick View
More Details 
GSO ISO/IEC 23002-7:2025
ISO/IEC 23002-7:2024 
Gulf Standard
Information technology — MPEG video technologies — Part 7: Versatile supplemental enhancement information messages for coded video bitstreams
  Quick View
More Details 
View All