找到1个数据集

标签: SECURail

过滤结果

  • FMICS2021出版物_系统需求形式化分析案例研究_补充数据集

    2025年12月23日 30 37 7

    数据集概述 本数据集为FMICS2021出版物《系统需求形式化分析案例研究》的补充数据，含UMC、ProB、LNT模型、SECURail交付物及翻译工具源码，以PDF文档和压缩包形式存储，支撑相关研究的细节验证与扩展分析。 文件详解 文档类文件（.pdf格式）：共4个 TIN15-v5.pdf：具体内容未详细说明的PDF文档...
    packageimg