ISO IEC 24029-2_2023 人工智能（AI）——神经网络鲁棒性的评估——第2部分：形式方法的使用方法.rar

从网站下载的压缩文件保存到自己的电脑, 解压后，找到解压后的文件： 一、自动改名： 执行（双击）“一键改名”文件，自动改成需要的PDF文件。 或： 二、手动 把 XXXX.pd 文件改名成 XXXX.pdf 被改名后的这个文件就可以正常打开使用了。 ** 文件一般 默认为英文（中文会注明）， ** 更多标准交流：2657467977@qq.com