-
基于DSVerifier_v2_0的数字系统脆弱性验证数据集
2025年11月29日 30 88 0
数据集概述 本数据集记录了使用DSVerifier v2.0工具验证含不确定性数字系统脆弱性的实验过程与结果,包含实验硬件配置、两类基准测试系统(IEEE Transactions on Computers及HSCC会议基准)的模型说明,以及实验结果数据,为数字系统稳定性分析提供支持。 文件详解 文件名称:dsverifier2.0.zip...
2025年11月29日 30 88 0