协作工具

协作工具技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

协作工具 热门资料

查看全部 500 份 →

SPI协议及工作原理分析一、概述.SPI，Serial Perripheral Interface，串行外围设备接口，是Motorola公司推出的一种同步串行接口技术.SPI总线在物理上是通过接在外围设备微控制器（PICmicro）上面的微...

2022-06-24 8 协作工具

介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议，并引进线性时序逻辑刻画了安全协议的性质，用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。

2023-12-20 7 协作工具