首页 下载 安全技术 其他 下载详情 UPPAAL-4.0.14 上传:penjian2918 浏览: 19 推荐: 0 文件:ZIP 大小:5.6MB 上传时间:2019-01-03 02:57:02 版权申诉 UPPAAL 是由瑞典的Uppsala 大学与丹麦的Aalborg 大学联合研发的一种自动验证工具, 主要对实时系统 模拟、仿真和验证, 已成功地用于实时控制器和通信 协议的验证 立即下载 上传资源 微信扫一扫 用户评论 提交评论