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

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

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

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

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

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

Formal Verification - An Essential Toolkit for Modern VLSI

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

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

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

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

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

Method, Verification..2ed 2021

文件大小:9MB 分类:文档书籍 创建时间:2021-11-16 热度:1

System-on-Chip and Verification 2020

文件大小:8MB 分类:文档书籍 创建时间:2020-03-06 热度:55

dlfeb.com.Fundamentals.of.IP.and.SoC.Security.Design.Verification.and.Debug.pdf

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

Safety Instrumented Systems Verification_ Practical Probabilistic

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