没有合适的资源?快使用搜索试试~
我知道了~
文库首页
行业研究
行业报告
大数据-算法-基于行为时序逻辑TLA的系统规则与协议检测的研究.pdf
大数据-算法-基于行为时序逻辑TLA的系统规则与协议检测的研究.pdf
1.该资源内容由用户上传,如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
版权申诉
data
0 下载量
60 浏览量
2022-04-17
06:06:23
上传
评论
收藏
4.77MB
PDF
举报
温馨提示
618特惠:¥39.90
69.90
大数据-算法-基于行为时序逻辑TLA的系统规则与协议检测的研究.pdf
资源推荐
资源评论
大数据-算法-基于自适应PCA和时序逻辑的动态系统故障诊断研究刘康玲.pdf
浏览:86
大数据-算法-基于自适应PCA和时序逻辑的动态系统故障诊断研究刘康玲.pdf
论文研究-并发系统中谓词行为图的行为时序逻辑表达.pdf
浏览:104
行为时序逻辑(TLA)组合时序逻辑与行为逻辑, 可以对并发系统进行描述与验证, 它引入动作和行为的概念, 使得系统和属性可用它的规约公式表示, 但存在用TLA描述复杂系统时TLA公式复杂且难以理解的不足。类似于状态转移...
论文研究-行为时序逻辑中公平性的研究与完善.pdf
浏览:61
基于行为时序逻辑(TLA)的并发系统描述,就是对系统的初始状态、系统行为和行为的公平性进行规约和描述,但TLA中的公平性具有局限性,无法准确地描述某些系统的行为,从而限制了TLA的描述能力。通过研究TLA中公平性的...
论文研究-一种安全转移系统模型的构造及其运用.pdf
浏览:167
为提高安全性,一般利用密码技术,但系统运行过程的安全尚显不足,为此基于行为时序逻辑TLA提出一种安全转移系统模型。通过设置安全属性,构造安全行为,使得系统在运行过程中的每次转移都满足安全属性,从而提高...
论文研究-基于TLA的事件图模型形式化验证方法.pdf
浏览:87
该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模型及性质规约用TLA语言进行形式化描述,从而使该模型能够被TLA模型检验工具进行验证。这种方法不仅能够有效提高仿真模型的...
TI-TLA2528.pdf
浏览:127
TI-TLA2528.pdf
TI-TLA2518.pdf
浏览:33
TI-TLA2518.pdf
TLA7-EVM开发板硬件说明书.pdf
浏览:27
TLA7-EVM开发板是一款由广州创龙基于Xilinx Artix-7系列FPGA自主研发的核心板+底板方式的开发板,可快速评估FPGA性能。核心板尺寸仅70mm*50mm,底板采用沉金无铅工艺的6层板设计,专业的PCB Layout保证信号完整性的...
TLA6400 系列产品技术资料.pdf
浏览:105
泰克 TLA6400 系列逻辑分析仪在数字调试性能价格比方面实现了重大突破
PlusCal-Examples:兰波特 TLA+ 的算法语言 PlusCal 中的算法示例
浏览:60
这些是用 PlusCal 编写的算法示例,PlusCal 是 Leslie Lamport 的 TLA+ 算法规范系统的算法语言。 这些文件是在 TLA+ 工具箱中创建的,因此大多数文件都是在工具箱中运行和使用 TLC 算法验证检查器的支持文件。 ...
lcd规格书.rar
浏览:58
5星 · 资源好评率100%
HYNDAIHT14X11-.pdf HYNDAIHT14X12-101-0001.pdf HYNDAI_HT17E12.pdf IBM_IAQS80F.pdf IBM_IAQS80.pdf IBM_IAQX10M.pdf IBM_IAQX10.pdf IBM_IASX12C.pdf IBM_IASX12.pdf IBM_IAUX14.pdf IBM_IAUX61.pdf .
3200TLA 驱动安装教程.pdf
浏览:25
GP3200TLA安装打印教程,视频是GP6024T热转印(要碳带)打印机,使用原理是一样的,3200只看前半部分就好
lcd规格书.r01 下载
浏览:115
5星 · 资源好评率100%
HYNDAIHT14X11-.pdf HYNDAIHT14X12-101-0001.pdf HYNDAI_HT17E12.pdf IBM_IAQS80F.pdf IBM_IAQS80.pdf IBM_IAQX10M.pdf IBM_IAQX10.pdf IBM_IASX12C.pdf IBM_IASX12.pdf IBM_IAUX14.pdf IBM_IAUX61.pdf .
lcd规格书.r00 下载
浏览:165
5星 · 资源好评率100%
HYNDAIHT14X11-.pdf HYNDAIHT14X12-101-0001.pdf HYNDAI_HT17E12.pdf IBM_IAQS80F.pdf IBM_IAQS80.pdf IBM_IAQX10M.pdf IBM_IAQX10.pdf IBM_IASX12C.pdf IBM_IASX12.pdf IBM_IAUX14.pdf IBM_IAUX61.pdf .
TLA7SA00 系列产品技术资料.pdf
浏览:84
TLA7SA00 系列逻辑分析仪模块提供了一种创新的 PCIExpress 验证方法,涵盖从物理层到事务层的所有协议层。多功能软件改善了信息
DrTLAPlus:TLA +系列博士-学习算法和协议,研究规范
浏览:41
DrTLAPlus:TLA +系列博士-学习算法和协议,研究规范
TLA5000B逻辑分析仪说明书
浏览:106
TLA5000B 说明书 逻辑分析仪TLA5000B 说明书 逻辑分析仪
Learn-TLA-cn:[WIP]TLA+教程中文翻译
浏览:7
TLA+教程中文翻译(待完成)原作:作者:译者:Gitbook地址: (需要科学上网)阅读方式: 或者直接下载写在前面TLA+属于...这本教程也仅供入门,系统的学习TLA+还是需要参考大量原版的资料:关于TLA+学习,欢迎与我讨论:License
论文研究-一种验证Web服务流程的新方法.pdf
浏览:10
在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web...提出一种验证Web服务流程的方法,该方法使用时序行为逻辑(TLA)建模服务流程,然后,利用模型检验(model checking)技术验证模型的某些属
LP133WX3-TLA6 CAS Ver0[1].0_for_090213 -LCD显示屏技术规格书.pdf
浏览:181
嵌入式LCD液晶显示屏技术手册,规格书。
相关实用应用程序(Windows可用)
浏览:88
5星 · 资源好评率100%
相关实用应用程序(Windows可用) 相关实用应用程序(Windows可用) 相关实用应用程序(Windows可用) 相关实用应用程序(Windows可用) 相关实用应用程序(Windows可用)
李飞飞自传 我看见的世界 The World I see
浏览:101
5星 · 资源好评率100%
李飞飞自传 我看见的世界 The World I see
ChatGPT使用总结:150个ChatGPT提示词模板(完整版)
浏览:136
4星 · 用户满意度95%
ChatGPT使用总结:150个ChatGPT提示词模板(完整版)
chromedriver-win64.zip
浏览:150
124版本全平台chrome和chromedriver离线安装包,详细版本号:124.0.6318.0
全国计算机二级WPSoffice精选350道选择题题库(含答案).pdf
浏览:112
WPS Office高级应用与设计考试是2021年全国计算机等级考试二级新增项目,主要考的内容有以下四点,分别是单项选择题(含公共基础知识)、WPS处理文字文档操作、WPS处理电子表格操作还有WPS处理演示文稿操作。 一、WPS综合应用基础:主要考基础选择题 内容包括WPS一站式融合办公的基本概念、WPS应用界面使用和功能设置、WPS中进行PDF文件的阅读、批注、编辑和转换等操作,还有包括WPS云
第十九届研电赛-技术论文模板
浏览:131
研电赛技术论文模板以及技术论文格式要求
哈尔滨工业大学-ChatGPT调研报告-2023.3.6-94页.pdf
浏览:57
哈尔滨工业大学-ChatGPT调研报告-2023.3.6-94页.pdf 哈尔滨工业大学-ChatGPT调研报告-2023.3.6-94页.pdf 哈尔滨工业大学-ChatGPT调研报告-2023.3.6-94页.pdf 哈尔滨工业大学-ChatGPT调研报告-2023.3.6-94页.pdf 哈尔滨工业大学-ChatGPTChatGPT 调研报告 序言 2022 年 11 月 30 日,Open
智联招聘:2024年大学生就业力调研报告.pdf
浏览:184
智联招聘:2024年大学生就业力调研报告
4个亲测好用的ChatGPT4渠道
浏览:38
4个亲测好用的ChatGPT4渠道
评论
收藏
内容反馈
1.该资源内容由用户上传,如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
版权申诉
618特惠:¥39.90
69.90
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
programxh
粉丝: 17
资源:
1万+
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
大麦网演唱会演出抢票脚本
嵌入式系统课程设计2023-2.rar
基于C++的二叉排序树(免费提供源码)
demo(1).zip
ASCII码表:从基础到应用.zip
信号与系统:原理、应用.zip
网页版扫雷image文件
Python字典详解.zip
matlab+数据预处理+ARIMA预测+异常值+检测+适用于各种类型的数据集
mubanyuanshizhan-0604-24
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功