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

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

Formal Verification - An Essential Toolkit for Modern VLSI

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

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

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

EDA for IC System Design, Verification, and

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

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

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

[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

Rigorous Software Development - An Intro to program Verification - J.

文件大小:2MB 分类:文档书籍 创建时间:2018-03-21 热度:53

Design, Analysis and Verification of Real-Time Systems Based on

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

Computer Aided Verification - 28th International Conference, Part

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