找到2个数据集

标签: 反应式综合

过滤结果

  • ICSE_23论文配套工件_反应式综合端到端探索性案例研究

    2025年12月8日 30 80 77

    数据集概述 本数据集是ICSE'23会议论文《Using Reactive Synthesis: An End-to-End Exploratory Case Study》的配套工件，包含研究相关的文档、代码说明及规范文件，涉及医疗CT领域，为复现论文研究提供完整数据支持。 文件详解 文件名称: Artifact README.pdf 文件格式:...
    packageimg

  • ICSE_23论文配套工件_反应式综合规范触发条件

    2025年12月5日 30 72 27

    数据集概述 该数据集为ICSE'23会议论文《反应式综合规范触发条件》的配套工件，包含论文相关的说明文档与压缩文件，支持论文研究内容的复现与验证。 文件详解 文件名称：Artifact README.pdf 文件格式：PDF 内容说明：论文配套工件的说明文档，包含工件使用方法、内容结构等背景信息 文件名称：TriggersArtifact.zip...
    packageimg