大约有20,000项符合查询结果项。（搜索耗时：0.0197秒）
为您推荐： 网络协议的形式化分析与设计 列车运行安全行为建模与形式化技术研究 网络协议 分析 设计与仿真 安全协议与形式化方法国科大 维修性设计分析与验证 保证正版 网络安全协议 原理 结构与应用
-
硬件设计验证 基于模拟与形式的方法
（美）WilliamK.Lam著2013 年出版377 页ISBN：9787121195839本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...
-
LTE协议栈与信令分析
陈宇恒，肖竹，王洪编著2013 年出版204 页ISBN：9787115299475本书首先简明扼要地分析了LTE标准的制定进程及网络体系结构，然后分别针对核心网、接入网、RRC、切换、小区重选及系统广播等信令流程进行了详细介绍，针对LTE移动通信系统信令流程在相关工程方面的应用进行了...
-
-
有限元分析的数学建模、校核与验证
（美）萨伯，（美）巴布斯卡著2013 年出版259 页ISBN：9787516503607本书是美国著名力学和数学家Barna Szabó教授和Ivo Babu?ka教授的经典之作。书中重点介绍了有限元模型的建立、验证与校核，尤其是详细介绍了p型有限元的基本理论，p型、h型以及hp型有限元的误差估计和收敛性问...
-
-
密码协议分析的逻辑方法
雷新锋，薛锐著2013 年出版381 页ISBN：9787030370969对密码协议分析的逻辑方法进行系统介绍。主要内容包括密码协议的概念以及密码协议分析的主要方法综述，密码协议逻辑分析方法的理论基础，各种密码协议逻辑。这些逻辑涵盖了当前比较重要的密码协议分析逻辑，介绍...
-
无线传感器网络节能安全协议研究
毕嘉娜著2013 年出版128 页ISBN：9787551703093本书系统地介绍了无线传感器网络的关键技术及安全性的相关问题。全书共分为8章。第1章介绍了无线传感器网络的特点及基本研究内容；第2章介绍了无线传感器网络的安全威胁及应对策略；第3～7章介绍了节能路由、节...
-
-
-
电力安全事故分析原理与案例分析
柳亦钢，杨开平，廖思哲主编2013 年出版150 页ISBN：9787566804495本书系统介绍了电力安全事故的各类理论和分析方法，如事故致因论、因果分析法、层次分析法等；同时，本书以1994年广东电网“5.25”事故为例，详细分析了轨迹交叉事故模型在此次事故中的应用，具有一定的出版价值。...