数字集成电路设计验证 量化评估、激励生成、形式化验证

本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...

数字硬件的形式化验证

国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...

硬件设计验证 基于模拟与形式的方法

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

新资本协议信用风险的建模、计量和验证

本书集中阐述了信用风险模型和银行内部资本配置的实践；采用信用风险模型计提监管资本的问题和对策；跨周期评级体系的设计与实施；资产组合信用风险计量误差的建模和校验等。...

硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

面向对象软件的形式验证技术

本书收录了2007年上海大学博士学位论文57篇，通过公开出版，使论文作为公共知识，转化成社会财富。产生社会影响。

国外食品安全生物学分析方法验证指南

本书结合作者多年来在食品安全检测领域的实践经验，对国际组织、欧美日等发达国家以及区域组织等关于食品安全生物学分析方法的验证和确认准则和指南文件进行了筛选和编译。全书共分三篇（约25万字），包括食品安全...

电气工程涡流问题的分析与验证

网络协议与网络安全

本书介绍网络协议与网络安全的相关内容。

测试性设计分析与验证

本书系统介绍了装备的测试性设计与验证的理论、技术，既有理论方法介绍，又有应用实例，为装备的维修性设计与验证提供了技术指导。