首页
下载
课程学习
存储
区块链
人工智能
游戏开发
音视频
跨平台
大数据
云计算
考试认证
信息化
服务器应用
行业
数据库
安全技术
操作系统
网络技术
编程语言
移动开发
代码
开发工具和环境
操作系统
网络和安全
排序算法
移动开发
后端开发
前端开发
数据库
开发语言
penjian2918
这家伙很懒,什么也没写
资源:1 粉丝:0
+ 关注
penjian2918上传的资源
UPPAAL_4.0.14
UPPAAL 是由瑞典的Uppsala 大学与丹麦的Aalborg 大学联合研发的一种自动验证工具, 主要对实时系统 模拟、仿真和验证, 已成功地用于实时控制器和通信 协议的验证
ZIP
5.6MB
2019-01-03 02:57
暂无更多数据