找到2个数据集

标签: 形式化模型

过滤结果

  • 自主机器人形式化模型保障案例演进补充材料

    2025年12月22日 30 148 127

    数据集概述 本数据集为论文《自主机器人形式化模型保障案例演进》的补充材料，包含保障案例模式的详细说明、Isabelle/SACM实现、实例化内容及相关Isabelle脚本，为理解论文核心内容提供补充支持。 文件详解 文件名称: main-suppl.pdf 文件格式: PDF (.pdf) 文件内容: 包含论文相关的补充材料，具体涵盖：...
    packageimg

  • 决策树挖掘策略采样与学习案例研究实验复现包

    2025年12月21日 30 65 14

    数据集概述 本数据集为实验复现包，包含论文《Digging for Decision Trees: A Case Study in Strategy Sampling and Learning》中实验评估所用的全部数据、软件工具及脚本，可复现原文实验结果，执行已在指定虚拟机环境中测试验证。 文件详解 文件名称:...
    packageimg