基础工具

基于逻辑工具的以太网开发，基于逻辑工具的以太网开发

2014-01-25 178 基础工具

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

2023-12-20 7 基础工具

资料->【F】机械结构->【F1】机械丛书->中国模具设计大典 (共5卷)->中国模具设计大典第1卷现代模具设计基础 1106页 25.0M.pdf

2013-06-18 85 基础工具

资料->【F】机械结构->【F1】机械丛书->中国模具设计大典 (共5卷)->中国模具设计大典第1卷现代模具设计基础 1106页 25.0M.pdf

2023-06-03 9 基础工具

小波分析最基础的、具有导向性的东西，值得

2014-03-02 195 基础工具

2022-11-16 6 基础工具

2014-06-23 56 基础工具

本会议将允许与会者亲自尝试使用面向智能器件的i.MX 6 SABRE 板卡，包括查看Linux照片、演示、基准测试和性能信息。我们还将通过基准测试及其他演示应用介绍使用i.MX 6系列的Android™产品。

2013-10-13 172 基础工具

基础工具 热门资料