-
铁路领域形式化验证与基于模型开发实验补充数据集
2025年12月7日 30 135 72
数据集概述 该数据集为论文《Experimenting with Formal Verification and Model-based Development in Railways: the case of UMC and Sparx Enterprise Architect》的补充数据,包含UMC和Sparx Enterprise...
-
生物图像数据SNEMI3D上传数据集
2025年12月7日 30 29 1
数据集概述 该数据集是上传至bioimage.io平台的SNEMI3D相关生物图像数据,包含训练相关实验文件,涵盖图像、动画、配置及说明文档等多种类型,为生物图像领域研究提供支持。 文件详解 图像文件: banner.x10.jpeg: JPEG格式图像文件 banner.x10.thumbnail.png: PNG格式缩略图文件 training-...



