找到1个数据集

标签: PLCspecif框架

过滤结果

  • PLCspecif许可等价性检查示例模型

    2025年12月23日 30 161 93

    数据集概述 该数据集包含用于PLCspecif许可等价性检查关系的示例模型，由两个文件组成，分别为说明文档和压缩的示例模型文件，为理解PLCspecif框架下的等价性检查方法提供实践参考。 文件详解 readme.pdf：PDF格式文档，提供数据集的说明信息...
    packageimg