找到1个数据集

标签: ICSE24

过滤结果

  • ICSE_24论文Artifact_非良分离GR_1_规范的类型控制器与快速启发式

    2025年12月5日 30 3 2

    数据集概述 该数据集是ICSE'24会议论文的附属Artifact，用于复现论文中关于非良分离GR(1)规范的类型控制器与快速启发式方法的实验结果，支持论文核心实验的验证与重复。 文件详解 LICENSE.txt：TXT格式，包含BSD 3-Clause License授权信息，涉及版权归属（特拉维夫大学与软件建模实验室）及使用条款。...
    packageimg