-
铁路领域形式化验证与基于模型开发实验补充数据集
2025年12月7日 30 192 53
数据集概述 该数据集为论文《Experimenting with Formal Verification and Model-based Development in Railways: the case of UMC and Sparx Enterprise Architect》的补充数据，包含UMC和Sparx Enterprise...
2025年12月7日 30 192 53
