-
数据4SECURail_4SECURail项目WorkStream1_Based_轨道交通技术开发材料完整数据
2025年12月8日 30 16 11
数据集概述 本数据集为Shift2Rail项目4SECURail的WorkStream 1（WP2）补充材料，包含项目开发的交付物、模型及相关工件，涉及正式开发演示规范、原型发布文档、测试模型、视频演示及代码文件等，支持对项目技术成果的查阅与验证。 文件详解 该数据集包含17个文件，按类型分类说明如下： -...
-
铁路领域形式化验证与基于模型开发实验补充数据集
2025年12月7日 30 117 63
数据集概述 该数据集为论文《Experimenting with Formal Verification and Model-based Development in Railways: the case of UMC and Sparx Enterprise Architect》的补充数据，包含UMC和Sparx Enterprise...
