交通安全的道路因素分析与安全审计

公路交通事业近年来在我国发展迅速。它一方面促进了经济建设，另一方面形成了交通事故逐年递增的问题与压力。本书就交通事故的道路因素分析，结合国际上道路审计的先进方法，提出了与我国实际情况符合的道路审计...

电力安全事故分析原理与案例分析

本书系统介绍了电力安全事故的各类理论和分析方法，如事故致因论、因果分析法、层次分析法等；同时，本书以1994年广东电网“5.25”事故为例，详细分析了轨迹交叉事故模型在此次事故中的应用，具有一定的出版价值。...

设计与验证Verilog HDL

本书介绍了Verilog HDL语言的基本概念，设计流程，语法等内容。

网络协议逆向分析及应用

本书主要介绍协议、协议逆向工程等相关概念、研究现状。协议设计原理，内容包括协议设计方法、内容、典型协议简介等。协议规范描述模型，内容涉及与协议逆向分析密切相关的协议规范描述模型，包括有限状态机模型...

软件验证与确认的最佳管理方法

国际安全机制理论与分析

本书从理论与实证两个方面全面探讨了国际安全机制发展的历史渊源、机制的合法性与有效性等在新形势下的发展变迁。

寿命验证与评估：加速试验技术之应用

科学计算中的确认与验证

工程事故分析与工程安全 第2版

拯救中国股市：风险验证与战略抉择

本书为中国证券市场系统性风险研究。