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

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

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

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

EDA for IC System Design, Verification, and

文件大小:5MB 分类:文档书籍 创建时间:2018-04-07 热度:88

17th Edition IEE Wiring Regulations-Design and Verification of Electrical

文件大小:5MB 分类:文档书籍 创建时间:2018-04-21 热度:89

Formal Verification - An Essential Toolkit for Modern VLSI

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

Leveraging Applications of Formal Methods, Verification and Validation - 7th International Symposium,

文件大小:52MB 分类:文档书籍 创建时间:2018-04-23 热度:77

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

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

Safety Instrumented Systems Verification_ Practical Probabilistic

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

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

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

17th Edition IEE Wiring Regulations_ Design and Verification of Electrical Installations, Sixth Edition

文件大小:2MB 分类:文档书籍 创建时间:2018-08-20 热度:32