只为小站
首页
域名查询
文件下载
登录
首页
操作系统
其它
UPPAAL工具+运行环境(jre1.8)
UPPAAL工具+运行环境(jre1.8)
上传者:
qq362378878
|
上传时间: 2022-07-04 21:00:56
|
文件大小: 108.18MB
|
文件类型: ZIP
形式化分析
系统仿真
Uppaal是一个集成工具环境,用于对实时系统建模、验证和验证,该系统被建模为定时自动机网络,并扩展了数据类型(有界整数、数组等)。 该工具由瑞典乌普萨拉大学信息技术系和丹麦奥尔堡大学计算机科学系合作开发。
文件下载
立即下载
评论信息
其他资源
编译原理实验报告
pandas中文参考手册(cookbook翻译版)
哈夫曼树设计——利用哈夫曼编码进行通信可以大大提高信道利用率,缩短信息传输时间,降低传输成本。但是,这要求在发送端通……
MATLAB编程处理肌电信号
War3Trainer V2.0.rar
FilterSolution2011
CRC32校验码算法完全版
RM3100驱动源码
商城小程序带前后+后台+安装说明文件
这是我做的一个基于NS2的ADHOC网络路由协议AODV的性能分析实验,包括代码和一些学习资料.
普通_高德_地图图标
精伦读卡器web开发
基于msp430f149的ds18b20显示程序
coRPysprofiling-R:用于文本的EDA和EDV的DSCI524-Group13 R软件包-源码
数据结构课程设计哈希算法哈希表设计与实现 算法大作业【源码+文档】
802.3ad中文版
安徽凤南地区的一个包括了七代码和九代码的二组合软件特别的好,用于开发都好
蓝牙接收数据图表显示
[其他文档] matlab读取和转换wfm波形文件代码
ARM.CMSIS.4.5.0
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
DOS
Linux
MacOS
OS
Solaris
Ubuntu
Unix
Windows Server
桌面系统
其它
热门下载
PowerBI视觉对象共计271组,更新日期2021.01.20日.zip
基于傅里叶算子的手势识别的完整源代码(Python实现,包含样本库)
新型冠状病毒疫情_2020年东三省数学建模A题_论文展示
ios无人直播 虚拟视频实用版 可以导入视频
云视通端口扫描器.rar
超大规模集成电路先进光刻理论与应用.pdf
YOLOv5 人脸口罩图片数据集
MAC OS.X.10.8.iso 镜像文件
2019西门子杯六部十层电梯群控参考程序.zip
Python+OpenCV实现行人检测(含配置说明)
Alternative A2DP Driver 1.0.5.1 无限制版
Android大作业——网上购物APP(一定是你想要的)
非线性本构关系在ABAQUS中的实现.pdf
QT自制精美Ui模板系列(一)桃子风格模板 - 二次开发专用
EBSD分析软件——Channel5下载安装教程
最新下载
Plex v7.12电视端app
IBM CPLEX 12.10 学术版 mac操作系统安装包
ADC参数测试资料&matlab源程序
城市规划GIS技术应用指南_随书练习数据
支付宝低保真原型作业.rp
数理统计(第二版)赵选民,徐伟等
python爬虫数据可视化分析大作业带文档
支付宝App低保真原型设计(课后答案).rp
《AxureRP9网站与App原型设计》教学教案-10支付宝App低保真原型设计.docx
支付宝原型设计低保真-Axure9.zip