-
SAS25_Future_Conditions_Based_论文实验验证配套完整数据
2025年12月19日 30 158 141
数据集概述 本数据集为SAS25会议论文《Specifying and Verifying Future Conditions》的配套工件，包含用于复现论文实验结果的文档与压缩包，提供Docker镜像使用说明及实验步骤指导，支持论文中表3结果的验证。 文件详解...
-
CoLoMoTo软件套件布尔模型分析与模拟教程数据集2025
2025年12月10日 30 92 23
数据集概述 该数据集是《可复现布尔模型分析与模拟：CoLoMoTo软件套件教程》的配套资料，包含教程笔记本、相关数据文件及运行配置文件，支持在CoLoMoTo笔记本的Jupyter界面或myBinder在线服务中执行，为学习布尔模型分析与模拟提供实践数据。 文件详解 文件名称:...
