IS/ISO/IEC 24029 : Part 2 : 2023 Artificial Intelligence (AI) - Assessment of the Robustness of Neural Networks - Part 2 Methodology for the Use of Formal Methods

ICS 35.020

LITD 30

NATIONAL FOREWORD

This Indian Standard (Part 2) which is identical to ISO/IEC 24029-2 : 2023 'Artificial intelligence (AI) - Assessment of the robustness of neural networks - Part 2: Methodology for the use of formal methods' issued by International Organization for Standardization (ISO) and International Electrotechnical Commission (IEC) jointly was adopted by the Bureau of Indian Standards on the recommendations of the Artificial Intelligence Sectional Committee and approval of the Electronics and Information Technology Division Council.

The other part in this series are:-

Part 1 Overview

The text of ISO/IEC standard has been approved as suitable for publication as an Indian Standard without deviations. Certain conventions are however not identical to those used in Indian Standards. Attention is particularly drawn to the following:

a) Wherever the words 'International Standard' appears referring to this standard, they should be read as 'Indian Standard'; and

b) Comma (,) has been used as a decimal marker while in Indian Standards, the current Practice is to use a point (.) as the decimal marker.