全息技术

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

资源总数
500

全息技术 热门资料

查看全部 500 份 →

基于进程代数的CSP 方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP 相关理论,并以NSPK 协议为例系统概述了安全协议的CSP 建模方法。为更好的查明协议的安全缺陷,重点研究如何在

2024-05-09 5 全息技术

 本书根据电子领域的实际岗位需求作为编写目标,从岗位就业的实际需求出发,对电子技术的特点和技能应用进行归纳与整理,按照读者的学习习惯和技能培训特点,将电子技术与技能划分成7个模块。主要内容包括常用电子仪器仪表的功能与应用、电子部件的功能特点...

2022-09-14 1 全息技术