uppaal-小册子下载

weixin_39820780 2019-09-05 09:00:30
UPPAAL简介，及使用大概教程，英文版的，在UPPAAL官网上可下载，PDF版本
相关下载链接：//download.csdn.net/download/qq_15693161/7386601?utm_source=bbsseo
...全文
30 回复 打赏 收藏 转发到动态 举报
写回复
用AI写文章
回复
切换为时间正序
请发表友善的回复…
发表回复
uppaal-小册子
UPPAAL是一个集成的实时系统建模、模拟和验证工具环境，由瑞典的乌普萨拉大学和丹麦的奥尔堡大学共同开发。该工具特别适用于可以建模为具有有限控制结构和实值时钟的非确定性进程集合的系统，这些进程通过通道或共享...
硬件工程师入门小册子-V1.0.pdf
硬件工程师入门小册子-V1.0.pdf
Word模板-活动宣传小册子.wpt
Word模板-活动宣传小册子.wpt
uppaal tron在线测试实时系统的工具
Uppaal TRON 是一种基于Uppaal engine的在线测试工具, 它适用于对实时系统（主要是对实时嵌入式软件）的黑盒一致性测试，。本文介绍了Uppaal TRON的构成、特征以及优缺点,语法, 语义和语用, 列举了它的几种扩展形式,...
U8 cloud业务指南小册子20200421.docx
小册子
下载资源悬赏专区

13,654

社区成员

12,574,373

社区内容

发帖
与我相关
我的任务
社区描述
CSDN 下载资源悬赏专区
其他 技术论坛（原bbs）
社区管理员
  • 下载资源悬赏专区社区
加入社区
  • 近7日
  • 近30日
  • 至今

加载中

查看更多榜单
社区公告
暂无公告

试试用AI创作助手写篇文章吧

+ 用AI写文章