首页 | 嵌入式系统 | 显示技术 | 模拟IC/电源 | 元件与制造 | 其他IC/制程 | 消费类电子 | 无线/通信 | 汽车电子 | 工业控制 | 医疗电子 | 测试测量
首页> 分享下载> 嵌入式系统> 数据独立技术在CSP协议模型中的设计与实现

数据独立技术在CSP协议模型中的设计与实现

资料介绍
在研究Roscoe数据独立技术的基础上,引入新的进程扩展CSP协议模型,并以Yahalom协议为例给出了完整的协议模型.随后对扩展的协议模型进行形式化描述.最后使用脚本语言CSPM对其进行编写,完成验证.

标签： CSP， 数据独立， 进程， 映射
数据独立技术在CSP协议模型中的设计与实现
本地下载

相关资源CSP，数据独立，进程

单片机菜鸟到高手资料
ULN2003应用电路分析
单片机超级精华包
PY32C613 数据手册
Proteus单片机模拟仿真软件下载
如何将Cadence的原理图和PCB转成PADS资料下载
开源硬件-PMP21529.1-4 开关降压升压双向直流直流转换器 PCB layout 设计
Type-C PCB及原理图和Type-C封装PDF手册免费下载
免费开源CC3D飞控资料（电路图&PCB源文件、BOM、
雕刻机
该用户资料分享
基于DSP的DGPS导航定位系统的设计与实现
基于嵌入式微处理器EP9315的二次开发技术
异质多处理器芯片中的数据流核心设计
基于HART协议的智能压力变送器的开发
龙芯2号PC104 Plus处理器模块设计
基于LPC2214的家庭智能终端的设计与实现
网格环境下基于联合代理证书的社区授权服务的UML建模研究
基于像素聚类的指纹分割算法
连续切片三维重构绘图过程的消隐技术
嵌入式LwIP协议栈的内存管理

相关新闻CSP，数据独立，进程

VxWorks中的地址映射
嵌入式Linux系统实时进程调度算法改进
ISP技术在《数字电路》课程设计中的应用
提供低消耗的QAM映射与转换的电路
低消耗的QAM映射与转换的电路
新一代移动通信的核心技术OFDM调制技术

相关电路CSP，数据独立，进程

三路延时功能的互补型音频振荡器的效果图演示_基础硬件电路图讲解
精密幅度稳定的低失真正弦波振荡器电路图
采用ADE7755智能电表电能计量电路设计 - 消费类电子电路图
电子仿声驱鼠器电路设计 - 消费类电子电路图
广告彩灯制作电路设计 - 信号处理电子电路图
循环LED彩灯电路的效果图演示_基础硬件电路图讲解

相关视频

2024北京车展E日游
设计一款水中管道智能巡检机器人的解决方案
E点冷知识：不要烧电容挑战
[nRF] Nordic推出两款新硬件产品，加速蜂窝产品开发
用Robei EDA工具设计的可重构机器人解决方案
第十八届全国智能车大赛独轮组预赛

评论

下载排行
  • 本周
  • 本月
  • 总榜
快捷入口