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

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

Functional Verification Coverage Measurement and

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

Formal Verification - An Essential Toolkit for Modern VLSI

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

Electronic Design Automation Synthesis, Verification, and Test

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

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

PHP Complete Registration and Login with Email Verification

文件大小:332MB 分类:其他 创建时间:2018-02-25 热度:85

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

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

在她的嘴里性高潮 91 verification

文件大小:146MB 分类:压缩文件 创建时间:2019-11-16 热度:84

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

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