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

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

INTERTANKO - OCIMF - Behavioural Competency Assessment and Verification for Vessels

文件大小:2MB 分类:文档书籍 创建时间:2022-01-30 热度:1

Functional Verification Coverage Measurement and

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

Samir Nanavati, Michael Thieme, Raj Nanavati - Biometrics - Identity Verification in a Networked World

文件大小:2MB 分类:文档书籍 创建时间:2020-01-13 热度:3

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

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

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

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

Introducing Software Verification...Dafny...2022

文件大小:2MB 分类:文档书籍 创建时间:2022-12-28 热度:1

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

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

Runtime Verification.A Hands-On Approach in Java 2022

文件大小:3MB 分类:文档书籍 创建时间:2022-08-20 热度:1

Fundamentals of Logic and Computation...Verification 2021

文件大小:3MB 分类:文档书籍 创建时间:2022-01-14 热度:1