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

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

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

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

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

采用全系列28-nm DSP 加速DSP 设计
在新出现的SoC FPGA 上的策略考虑
采用FPGA实现医疗成像
采用外部存储器解决方案提高系统性能
采用FPGA以及图像和传感器处理IP实现低功耗EO/IR系统开发
STM32以太网MAC Loopback的实现
STM32 DCMI的带宽与性能介绍
LAT1017 多次插拔后USB无法再工作
STM32 DCMI 的带宽与性能介绍
基于 STM32U5 片内温度传感器正确测算温度
该用户资料分享
基于DSP的DGPS导航定位系统的设计与实现
基于嵌入式微处理器EP9315的二次开发技术
异质多处理器芯片中的数据流核心设计
基于HART协议的智能压力变送器的开发
龙芯2号PC104 Plus处理器模块设计
基于LPC2214的家庭智能终端的设计与实现
网格环境下基于联合代理证书的社区授权服务的UML建模研究
基于像素聚类的指纹分割算法
连续切片三维重构绘图过程的消隐技术
嵌入式LwIP协议栈的内存管理

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

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

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

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

相关视频

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

评论

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