Hardware and Software Verification and Testing - 12th International Haifa Verification Conference, HVC

文件大小:10MB 分类:文档书籍 创建时间:2018-02-24 热度:187

Shipboard Power Systems Design and Verification Fundamentals [Islam, y2018].pdf

文件大小:11MB 分类:文档书籍 创建时间:2019-11-17 热度:62

Formal Verification - An Essential Toolkit for Modern VLSI

文件大小:11MB 分类:文档书籍 创建时间:2018-04-22 热度:91

Verification, Validation and Testing of Engineered Systems [h33t] [mahasonaz]

文件大小:11MB 分类:文档书籍 创建时间:2018-05-17 热度:11

[Kazi Sakib, Zahir Tari , Peter Bertok]Verification of Communication Protocols in Web Services Model-Checking

文件大小:13MB 分类:文档书籍 创建时间:2018-04-02 热度:104

System Verification - Proving the Design Solution Satisfies the Requirements 2nd

文件大小:14MB 分类:文档书籍 创建时间:2018-03-29 热度:85

Computer Aided Verification - 28th International Conference, Part

文件大小:17MB 分类:文档书籍 创建时间:2018-03-20 热度:54

Electronic Design Automation - Synthesis, Verification, and Test (2009) (Malestrom).pdf

文件大小:20MB 分类:文档书籍 创建时间:2018-06-10 热度:52

Electronic Design Automation Synthesis, Verification, and Test

文件大小:23MB 分类:文档书籍 创建时间:2019-02-25 热度:90

Verification and Validation in Scientific Computing 2010

文件大小:25MB 分类:文档书籍 创建时间:2022-12-05 热度:1