找到1个数据集

标签: SAC2017

过滤结果

  • D_VerT_Source_Storm拓扑形式化验证研究完整数据2017

    2026年1月21日 30 171 77

    数据集概述 本数据集为论文《Formal Verification of Storm Topologies through D-VerT》的配套研究数据，包含论文中展示的UML模型、D-VerT自动生成的时序逻辑模型实例及实验输出文件，用于支持Storm流处理拓扑的形式化验证研究，总计一个压缩文件。 文件详解 文件名称：SAC2017.zip...
    packageimg