协作检测

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

2023-12-20 7 协作检测

Mega16单片机开发的测温测湿控制仪表全套程序，包含Modbus_RTU通信程序。

2025-12-20 2 协作检测

本资源提供了一套完整的ZigBee协议栈测试程序，适用于协调器、路由器及终端节点的开发与调试。基于zstack协议栈设计，能够帮助开发者快速掌握ZigBee网络构建技巧，解决实际项目中遇到的各种通信问题。无论是初学者还是有经验的工程师，都能...

2025-11-25 3 协作检测

2014-01-19 172 协作检测

2014-01-20 199 协作检测

pic 自动温度检测系统本系统完成自动温度检测，并周期性在液晶上显示，采用的温度芯片为DS18B20

2015-06-06 199 协作检测

DSP 语音端点检测资料\基于DSP实现语音端点检测

2013-12-12 27 协作检测

2015-11-20 42 协作检测

协作检测 热门资料