新闻
研讨会
设计
嵌入式系统
元件/连接器
电源与新能源
安全与国防
汽车电子
EDA/PCB
消费电子
工业自动化
模拟技术
医疗电子
测试测量
通信技术
光电显示
网络与存储
智能计算
物联网与传感器
社区
论坛
开发板试用
博客
活动中心
积分礼品
技术汇
PI技术专区
ADI技术专区
美信技术专区
研华技术专区
贝能技术社区
Fluke技术社区
ZYNQ技术社区
世强专区技术社区
Microchip资源专区
Microchip视频专区
Quark技术社区
Xilinx社区
MultiSIM BLUE
Andes专区
TE金属混合保护专区
ADI视频专区
OpenVINO生态社区
金升阳电源技术专区
Led技术社区
DSP技术社区
FPGA技术社区
MCU技术社区
USB技术社区
CPLD技术社区
Zigbee技术社区
Labview技术社区
Arduino技术社区
示波器技术社区
步进电机技术社区
无线充电技术社区
人脸识别技术社区
指纹识别技术社区
快捷导航
下载
电路
EETV
厂商专区
元件查询
计算工具
资料库
我要上传
首页
|
嵌入式系统
|
显示技术
|
模拟IC/电源
|
元件与制造
|
其他IC/制程
|
消费类电子
|
无线/通信
|
汽车电子
|
工业控制
|
医疗电子
|
测试测量
首页
>
分享下载
>
嵌入式系统
> 数据独立技术在CSP协议模型中的设计与实现
数据独立技术在CSP协议模型中的设计与实现
上传用户:
Tiffany
上传日期:2009-03-31
文件类型:RAR
文件大小:298.83K
资料积分:0分
积分不够怎么办?
资料介绍
在研究Roscoe数据独立技术的基础上,引入新的进程扩展CSP协议模型,并以Yahalom协议为例给出了完整的协议模型.随后对扩展的协议模型进行形式化描述.最后使用脚本语言CSPM对其进行编写,完成验证.
标签:
CSP
,
数据独立
,
进程
,
映射
分享给小伙伴们:
数据独立技术在CSP协议模型中的设计与实现
相关资源
CSP
,
数据独立
,
进程
KS0075
KS0066
ILI9486
ILI9341
ILI8961
TS201EZ-KITS开发板的所有仿真程序
ADI公司SHARC与BlackFin通过SPI协议相互通信的源代码
ADISHARCDSP系统启动源码
DSP 基础知识
Blackfin和SHARC处理器配套电源选择指南
该用户资料分享
基于DSP的DGPS导航定位系统的设计与实现
基于嵌入式微处理器EP9315的二次开发技术
异质多处理器芯片中的数据流核心设计
基于HART协议的智能压力变送器的开发
龙芯2号PC104 Plus处理器模块设计
基于LPC2214的家庭智能终端的设计与实现
网格环境下基于联合代理证书的社区授权服务的UML建模研究
基于像素聚类的指纹分割算法
连续切片三维重构绘图过程的消隐技术
嵌入式LwIP协议栈的内存管理
相关新闻
CSP
,
数据独立
,
进程
VxWorks中的地址映射
嵌入式Linux系统实时进程调度算法改进
ISP技术在《数字电路》课程设计中的应用
提供低消耗的QAM映射与转换的电路
低消耗的QAM映射与转换的电路
新一代移动通信的核心技术OFDM调制技术
相关电路
CSP
,
数据独立
,
进程
上拉电阻和下拉电阻的作用是什么?
常见基础模块电路基本分析
5V转3.3V电平的19种方法技巧
30种EMC标准电路分享
负电压产生电路分析及方案
MOSFET栅极驱动电路的应用
相关视频
尼吉康-小型锂离子可充电电池
解决方案-智能防抖叉勺的设计
解决方案-计算机视觉革新对虾养殖业
从模拟到数字浅谈选择合适ADC的重要性培训教程
AVR® DD系列MCU培训教程
MPLAB® PICkit™ 5入门
评论
文明上网,登录发帖。
验证码:
下载排行
本周
本月
总榜
世界汽车电路图大全
全桥逆变电源总原理图
EEPW会员专刊2024年5月刊
算法大全:助程序员走上高手之路(单片机C语言算法+机器学习算
单片机开发技术实例教程
电工基础入门知识大全从入门到精通
PWM呼吸灯效果视频
德赛全智能车库照明系统介绍V1.0(1)
蓝牙耳机功放板原理图
尼吉康最新开发了105℃ 5,000小时保证的“UTF系列”小形高纹波电流支持引线型铝电解电容器
电子工程师培训资料
电子DIY初学者必备
基于单片机多功能LCD显示设计仿真(毕业设计资料)
世界汽车电路图大全
全桥逆变电源总原理图
LCD12864显示汉字和数字(程序和电路)
国产汽车电控元件位置与电路图大全 1
耳机放大器及电路原理
算法大全:助程序员走上高手之路(单片机C语言算法+机器学习算
单片机开发技术实例教程
《DSP原理及应用》电子教案
各类开发实用电路图
通信设备常用电路图
Protel 2006 简体中文版
雅虎通(Yahoo Messager)8.3版本
CUTE ftp 8.0 perfessional汉化破解版
《最新BIOS设置详解》
Protel DXP视频教程下载
倾情奉献:MSP430汇编指令集(中文),详解带实例!
电驴最新中文版 eMule VeryCD 0.48a Build 071112
快捷入口
FPGA
DSP
MCU
示波器
步进电机
Zigbee
LabVIEW
Arduino
RFID
NFC
STM32
Protel
GPS
MSP430
Multisim
滤波器
CAN总线
开关电源
单片机
PCB
USB
ARM
CPLD
连接器
MEMS
CMOS
MIPS
EMC
EDA
ROM
陀螺仪
VHDL
比较器
Verilog
稳压电源
RAM
AVR
传感器
可控硅
IGBT
嵌入式开发
逆变器
Quartus
RS-232
Cyclone
电位器
电机控制
蓝牙
PLC
PWM
汽车电子
转换器
电源管理
信号放大器