-
FMICS2021出版物_系统需求形式化分析案例研究_补充数据集
2025年12月23日 30 169 123
数据集概述 本数据集为FMICS2021出版物《系统需求形式化分析案例研究》的补充数据，含UMC、ProB、LNT模型、SECURail交付物及翻译工具源码，以PDF文档和压缩包形式存储，支撑相关研究的细节验证与扩展分析。 文件详解 文档类文件（.pdf格式）：共4个 TIN15-v5.pdf：具体内容未详细说明的PDF文档...
-
铁路领域形式化验证与基于模型开发实验补充数据集
2025年12月7日 30 210 120
数据集概述 该数据集为论文《Experimenting with Formal Verification and Model-based Development in Railways: the case of UMC and Sparx Enterprise Architect》的补充数据，包含UMC和Sparx Enterprise...
