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

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

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

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

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

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

System-on-Chip and Verification 2020

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

Computer Aided Verification - 28th International Conference, Part

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

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

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

Verifying Calculations - Forty Years On_ An Overview of Classical Verification Techniques for FEM Simulations

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

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

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

Safety Instrumented Systems Verification_ Practical Probabilistic

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

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

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