只为小站
首页
域名查询
文件下载
登录
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
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
Autojs 例子 源码 1600多个教程源码
芯片验证漫游指南以及源代码.zip
基于yolov4-keras的抽烟检测(源码+数据集)
CNN卷积神经网络Matlab实现
csma/ca和csma/cd的matlab仿真源代码带有详细的注释
token登录器.rar
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
人体姿态检测
2020年大学生数学建模竞赛C题省一论文(包括材料和代码)
超大规模集成电路先进光刻理论与应用.pdf
基于FPGA的DDS信号发生器设计(频率、幅度、波形可调)
空间谱估计理论与算法------程序.rar
韦来生《数理统计》课后习题与答案
计算机专业实习日记+实习周记+实习总结
采用K-means聚类,实现多维矩阵的聚类,并进行可视化展示(matlab)
最新下载
STM32H743IIT6使用STM32CUBEMX配置大多数外设手册.pdf
VB6 GDI+ 包装类库源码
mpg_ggplot2.csv
openssl.zip
javacv API
西电通院模电大作业3
TMS320F28374S新建工程文件
老挝语字体老挝语字体
显示PNG控件
独立版智慧WiFi大师小程序源码下载,带详细文本安装教程
其他资源
和芯星通GPS/BD 解析软件
CAD2014破解文件
cloudcompare离线帮助文档cloudcompare.chm
北邮计算机系统结构实验三-使用MIPS指令实现求两个数组的点积
中科院矩阵应用及其分析2014-2017考题考点解析 大作业 李保滨
A*算法在ROS上的简单移植
程序员面试题精选100题(经典!)
遗传算法与粒子群算法的实现
Qt5.12.3-vs2017-32bit-relese-QWebEngin.zip
西文图书管理系统课程设计报告
LMS自适应滤波器的Matlab设计与仿真
网上招聘系统
pl2303驱动2009版本(解决该设备无法启动(代码 10)的问题)
Python TCP通信 客户端 服务端
英语单词熟词僻义总结.pdf
第2章365系统加速器——源码.7z
语音合成 xz_voice-main.zip
azure-aks-terraform:这是一个快速示例,显示了如何使用来自Terraform的Azure Log Analytics在Azure上部署Kubernetes-源码
电脑维修企业网站源码
转盘网页抽奖代码
硅谷之火,禁书
QT程序学生管理系统
DirectX游戏实例
德勤区块链技术研究报告正文版
弘一网童2.71破解版
java地铁票价计算器(dijkstra算最短路径)
蒙特卡洛的应用—求面积和Pi值