只为小站
首页
域名查询
文件下载
登录
首页
操作系统
其它
UPPAAL工具+运行环境(jre1.8)
UPPAAL工具+运行环境(jre1.8)
上传者:
qq362378878
|
上传时间: 2022-07-04 21:00:56
|
文件大小: 108.18MB
|
文件类型: ZIP
形式化分析
系统仿真
Uppaal是一个集成工具环境,用于对实时系统建模、验证和验证,该系统被建模为定时自动机网络,并扩展了数据类型(有界整数、数组等)。 该工具由瑞典乌普萨拉大学信息技术系和丹麦奥尔堡大学计算机科学系合作开发。
文件下载
立即下载
评论信息
其他资源
opencv写的双目视觉摄像机标定和三维重建代码
模拟电子琴设计8086作为处理器,以8253控制扬声器
Java爬虫完整实例源码.zip
灵敏度分析
最优分数阶PID控制器的设计与研究
MATLAB基础与应用教程+蔡旭晖等+2009年+PDF电子书免费下载.
PCI_3.0中文版
全国大学生电子设计竞赛_板球控制系统_许多的注释_基于openmv
2、数字货币必做的运营渠道.pptx
OpenGL 3D 机器人
c++版学生成绩管理系统实验报告及源码
DB18B20基于STM32F103最小系统实现工程
用c语言编写的一个中国象棋
大师谈游戏设计创意与节奏
8套经典的计算机组成原理试题及答案
发包工具(内有使用文档)
RGB转换为IHS MATLAB
WindowsCE第三方软件.rar
车联网车主行为分析案例(jar)
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
DOS
Linux
MacOS
OS
Solaris
Ubuntu
Unix
Windows Server
桌面系统
其它
热门下载
云视通扫描工具.zip
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
粒子群多无人机协同多任务分配.zip
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
python实现的学生信息管理系统—GUI界面版
基于STM32的FFT频谱分析+波形识别
2020年数学建模B题穿越沙漠全部代码全国赛二等奖.zip
知网情感词典(HOWNET)
得到品控手册7.0.pdf
Vivado永久激活license(亲测可用)包(搜集的全部可用LICENSE)
中小型企业网络建设.pkt
C4.5决策树算法的Python代码和数据样本
Keil5安装包
基于LSTM模型的股票预测模型_python
数字图像处理[冈萨雷斯]
最新下载
i1ProfilerSetup_1.7.1.rar
极域电子教室,适用于win10 系统。
数据库期末考试题
BDE win10 64安装包(亲测可用).rar
ATJ2127视频转换工具,tool.rar
联想智能云教室同传系统V1.0.18.0706
OPC UA C# 示例.rar
Win10 PE x86 含 Victoria v5.37 及其他硬盘测试软件
差分方程及其应用 [周义仓,曹慧,肖燕妮 编著] 2014年版.pdf
Orcad_16.2绿色精简版