大约有469,181项符合查询结果项。(搜索耗时:0.5592秒)
为您推荐: 网络协议的形式化分析与设计 列车运行安全行为建模与形式化技术研究 网络协议 分析 设计与仿真 安全协议与形式化方法国科大 维修性设计分析与验证 保证正版 网络安全协议 原理 结构与应用
-
-
航空维修安全分析与评价
王瑛主编;汪送,王强副主编2014 年出版285 页ISBN:9787118086478本书主要包括绪论、影响航空维修安全的因素分析、航空维修差错管理、航空维修安全文化、航空维修事故预防与控制、航空维修安全分析与评价、提高航空维修安全的思考等内容。本书质量高,可读性强,填补市场空白...
-
Web服务组合建模与验证
程永上著2011 年出版181 页ISBN:9787504738585本书主要研究方向为对有色Petri网进行了扩展,增加了语义和非功能属性标注,提出了语义Petri网模型来对Web服务及其组合进行形式化建模,并用Petri网标记语言PNML对其进行描述。...
-
Android软件安全与逆向分析
丰生强编2013 年出版407 页ISBN:9787115308153本书内容由浅入深、循序渐进地讲述了Android系统的软件安全、逆向分析与加密解密知识。包括进行Android软件逆向分析所须具备的知识及概念、如何静态分析Android软件、如何动态调试Android软件,以及软件的破...
-
-
铁路轨道工程施工安全与案例分析
黄守刚主编2011 年出版134 页ISBN:9787113130466本书共分为五章,包括铺轨基地安全、工程运输与轨料存放安全、有砟轨道施工安全、无砟轨道施工安全、道岔铺设安全等内容。
-
-
-
macOS软件安全与逆向分析 macOS软件安全第一书
丰生强,网名非虫著2017 年出版461 页ISBN:9787115460639本书将深入介绍macOS系统的软件安全、逆向分析与加密解密技术,主要包括macOS软件的开发基础、macOS系统工作机制、macOS软件调试接口与机制、二进制程序的格式、反汇编技术、逆向与动态调试技术、反破解技术...
-
地铁工程施工安全与案例分析
黄守刚主编;秦凯,梁爱国,张金柱,康拥政副主编2011 年出版108 页ISBN:9787113130305本书共分为六章,包括概述、施工准备阶段安全、盾构施工安全、盾构隧道施工风险与规避对策、明挖车站(区间)施工安全、辅助工程施工等内容。...
