没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
event-b language经典教材
event-b language经典教材
event-b
5星
· 超过95%的资源
需积分: 13
10 下载量
101 浏览量
2013-07-24
10:12:19
上传
评论
收藏
1.06MB
PDF
举报
温馨提示
立即下载
非常经典的学习event-b的教材,想学习千万不能没有它哦
资源推荐
资源评论
Event-B Language
浏览:185
5星 · 资源好评率100%
本文档是Event-B形式化方法的参考书,书中包含Event-B结构与语法介绍;数学证明;符合表示
event-B入门基础手册
浏览:108
从文献中发现该方法能够用于代码的自动生成。Event-B的入门用书,里面讲解了详细的语法。可用于参考
Event-B.pdf
浏览:42
这是一本关于Event-B的例子用书,里面有十几个例子,英文版的
前端项目-event-source-polyfill.zip
浏览:93
前端项目-event-source-polyfill,http://www.w3.org/tr/eventsource的polyfill/
hystrix-metrics-event-stream-1.5.18.jar
浏览:110
hystrix-metrics-event-stream-1.5.18.jarhystrix-metrics-event-stream-1.5.18.jar
Event-B学习入门
浏览:114
4星 · 用户满意度95%
这是Event-B的入门用书,里面讲解了详细的语法
An Introduction to the Event-Related Potential Technique.PDF
浏览:58
5星 · 资源好评率100%
An Introduction to the Event-Related Potential Technique.PDF 是一个STEVEN J。LUCK的经典ERP实验指导书,2009年由范思陆翻译成中文,华东师范大学出版《事件相关电位基础》
Designing Event-Driven Systems
浏览:25
Designing Event-Driven Systems_Concepts and Patterns for Streaming Services with Apache Kakfa, published by OReilly
shiro-event-1.4.0-API文档-中文版.zip
浏览:174
赠送jar包:shiro-event-1.4.0.jar; 赠送原API文档:shiro-event-1.4.0-javadoc.jar; 赠送源代码:shiro-event-1.4.0-sources.jar; 赠送Maven依赖信息文件:shiro-event-1.4.0.pom; 包含翻译后的API文档:shiro-...
device-mapper-event-libs-1.02.74-10.el6.i686.rpm
浏览:143
5星 · 资源好评率100%
device-mapper-event-libs-1.02.74-10.el6.i686.rpm
shiro-event-1.4.0-API文档-中英对照版.zip
浏览:167
赠送jar包:shiro-event-1.4.0.jar; 赠送原API文档:shiro-event-1.4.0-javadoc.jar; 赠送源代码:shiro-event-1.4.0-sources.jar; 赠送Maven依赖信息文件:shiro-event-1.4.0.pom; 包含翻译后的API文档:shiro-...
快速数据采集_Event-controlled (fast) Process Value Event-controlled (fast) Process Value Function
浏览:59
自动化解决方案。WinCC数据采集系统。PCS7中或STEP7中用WinCC实现快速数据采集。 Event-controlled (fast) Process Value Event-controlled (fast) Process Value Function
event-log-tags
浏览:30
(Android 11)Event所有的tags:/system/etc/event-log-tags
基于EvenT-B的联锁系统进路控制建模与验证研究
浏览:160
基于EvenT-B的联锁系统进路控制建模与验证研究 基于EvenT-B的联锁系统进路控制建模与验证研究
Event-based VS Threads
浏览:94
Event-based VS Threads
Laravel开发-event-sourcing
浏览:148
Laravel开发-event-sourcing 活动采购包
device-mapper-event-1.02.170-6.el7.x86_64.rpm
浏览:15
docker离线安装所需包,需要的拿去吧
Event-Driven Programming:
浏览:160
Event-Driven Programming: Introduction, Tutorial, History
event-collector-1.12.zip
浏览:24
event-collector.zip,事件收集器
Qt 5实现串口调试助手 (源工程文件、0积分下载)
浏览:148
5星 · 资源好评率100%
基于Qt 5实现串口调试助手,程序仅供参考,修改了之前十六进制接收0xA0--0xFF有误的问题,新增了窗口自适应(ui文件设置栅格),文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
浏览:40
5星 · 资源好评率100%
SystemVerilog的听课学习笔记,包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下: 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
AutoSAR标准协议4.2.2
浏览:190
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2,里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览:87
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法,欢迎查看!
XCP协议的规范文档
浏览:97
5星 · 资源好评率100%
XCP协议的原规范文档,主要包含了Part1-5共5个部分,其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
GD32替换STM32注意事项.pdf
浏览:110
3星 · 编辑精心推荐
GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
NPPJSONViewer.zip
浏览:107
4星 · 用户满意度95%
NodePad++ JSON格式化插件
CANoe通过CAPL脚本实现自动测试
浏览:173
现在汽车行业用vector的工具进行自动测试,但是该自动测试模板很少,本案例是分享CAPL脚本自动化测试的模板,和自动控制测试步骤的XML模板,使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤,实现自动测试,生成测试报告。
VS2015安装证书,JavaScript_ProjectSystem.msi,JavaScript_LanguageService.msi
浏览:15
3星 · 编辑精心推荐
vs2015.iso包安装,不然会卡在安装包丢失或损坏
蓝牙BLE协议中文版.pdf
浏览:150
蓝牙BLE协议中文版,帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版,所有协议内容均与英文原版协议内容保持一致
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
lczml
2015-04-23
适合新手研究Event-B,还不错
yinbanghu08
粉丝: 2
资源:
3
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
网络编程课程设计-Python实现多人聊天室(源码 + 说明文档)
base.apk
全国城市编码sql包括(香港澳门)
使用python实现加载.mat文件并保存图像
高德导航刷机包winCE
输电线路玻璃绝缘子串识别
变电站吸烟检测图像数据集
项目实战+ASP.NET+SQLServer-办公自动化管理系统的设计与实现+毕业项目
Python课程设计作业-Flask实现个人博客系统(源码 + 运行文档 + 数据库文件)
深度学习之经典决策树算法-ID3
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功