标准号:ISO/IEC 24029-2:2023 EN 80cf38e4标准名称:ISO/IEC 24029-2:2023 EN 80cf38e4英文名称:Artificial intelligence (AI) - Assessment of the robustness of neural networks - Part 2: Methodology for the use of formal methods标准状态:发布日期:2024-12-08实施日期:0出版语种:EN归口单位:ISO/IEC JTC 1/SC 42提出部门:IEC发布部门:ISO/IEC