检验程序

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

资源总数

500

检验程序全部资料 500 份

双面胶.遮光片.泡棉检验标准:一﹑作业內容            &nb

2024-02-23 2 检验程序

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

2023-12-20 7 检验程序

TI DSP 实验测试程序，很全面。1指令实验，2存储器，3串行口等。

2014-01-10 115 检验程序

DSP的实验测设程序，希望对大家的学习有点帮助

2014-01-25 92 检验程序

ARM7的一些试验程序，包括DMA，串口设置，键盘扫描，网络设置，LCD显示等。

2015-10-31 79 检验程序

2015-07-06 156 检验程序

串口通信实验程序，用于FPGA和电脑串口通信研究

2015-05-02 73 检验程序

DSP的一个实验程序，通过该程序可以实现对DSP运行的掌握，还可以熟悉CCS的用法。

2015-03-23 108 检验程序

AT89C51单片机实验程序，c语言，希望抛砖引玉。

2015-05-07 127 检验程序

一共有9个51单片机实验程序，实际上还有相关的汇编程序N例，单片机嵌入式程序和I2C源程序等等。

2014-03-18 109 检验程序