数据集 - 海数据

铁路领域形式化验证与基于模型开发实验补充数据集

2025年12月7日 30 50 1

数据集概述该数据集为论文《Experimenting with Formal Verification and Model-based Development in Railways: the case of UMC and Sparx Enterprise Architect》的补充数据，包含UMC和Sparx Enterprise...
- ZIP

智能助手

您好！我是海数据平台的智能助手，有什么可以帮助您的吗？