只为小站
首页
域名查询
文件下载
登录
uppaal-4.1.19.zip
内容包含Uppaal工具,及简单教程,注意必须提前安装好Java1.8及以上环境,运行uppaal.jar,即可运行Uppaal。
时间自动机
是一套对实时系统进行建模和验证的理论。这一理论是Alur和Dill的杰出工作成果。很多验证工具(例如Uppaal)就是基于
时间自动机
理论制作的。
2020-01-03 11:30:07
21.06MB
Uppaal
验证
时间自动机
建模
1
互斥进程的uppaal模型实例
该资源是根据建模教程实现的一个简单的互斥进程的模型实例,已在模型检测工具uppaal上实现并进行了模型的性质验证。uppaal是一个集成工具环境,它以扩展的
时间自动机
为建模语言,被用于对经过转换的
时间自动机
网络模型的实时系统进行建模、检验和验证。
2020-01-03 11:17:31
5.76MB
uppaal
时间自动机
1
基于
时间自动机
(ta)的四列火车调度的uppaal模型实例
该资源是实现的一个四列火车调度的模型实例,已在模型检测工具uppaal4.0.14上实现并进行了模型的性质验证,资源中还包含实验的模型仿真和性质验证的截图(实验效果图)。uppaal是一个集成工具环境,它以扩展的
时间自动机
为建模语言,被用于对经过转换的
时间自动机
网络模型的实时系统进行建模、检验和验证。
2019-12-21 19:29:13
323KB
uppaal模型
时间自动机
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
EEupdate_5.35.12.0 win10下修改intel网卡mac
IBM CPLEX 12.10 学术版 mac操作系统安装包
东南大学英语技术写作慕课所有答案
狂神说全部笔记内容.zip
elsevier 爱思唯尔 系列期刊的word模板,template,单栏,双栏
MATLAB车牌识别系统
BP神经网络+PID控制simulink仿真
现代操作系统原理与实现.pdf
画程(版本6.0.0.127)setup个人版
粒子群多无人机协同多任务分配.zip
mingw-w64-install.exe
2022学术英语写作(东南大学) 章节测试+期末test答案
python爬虫数据可视化分析大作业.zip
MAC OS.X.10.8.iso 镜像文件
基于FPGA的DDS信号发生器设计(频率、幅度、波形可调)
最新下载
Delphi缩小放大图片
海康DS-7616N-I2升级4.6固件V4.61.025-220905
永磁同步电机RLS最小二乘法参数辨识
( Delphi 7 )使用GDI+进行图形缩放、拖动,多种图片格式支持,仅简单示例
STM32F4 数据手册、参考手册、HAL库函数手册 2022年最新版
stm32智能小车循迹
Unity斗地主源码
ASP.NET 新闻发布系统.pdf
nearestSPD:寻找最近的正定矩阵-matlab开发
《OSPF协议完全实现》随书源代码官方修订版2.0版
其他资源
NCSI简介使用手册
基于android的贪吃蛇游戏设计与开发报告
java大作业--画图板
软件项目开发报价模板
PCL1.7.2+Kinect V 2.0获取并保存点云PCD数据程序
宏宇word修复向导V2.000.9 破解版
多边形的区域填充(扫描线和种子填充).
floppywriter
安徽省“十三五”传统村落保护发展规划纲要.doc
羽毛:使用JavaScript和TypeScript的实时应用程序和REST API的框架-源码
Dynamic Promo-轻松活力视频包装开场
TeeChart Pro Activex Control v2018
VS开发进阶源码---烟花特效的生日祝福
怎样当一名科学家(英文版)on being a scientist
android背单词源代码
zabbix Template IIS WebSite
Hi3518EV20X/Hi3516CV200经济型HD IP Camera Soc用户指南.pdf
VC/MFC使用日期控件设置、获取日期时间信息
Andriod浮动飘动效果