找到1个数据集

标签: 系统安全保障

过滤结果

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

    2025年12月22日 30 43 29

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