Top 313 audits verification PDF Book Page 6
Forwarding Tables Verification through Representative Header Sets
Yacine Boufkhad
·0.17 MB
Computational Methods in Transport: Verification and Validation
J. I. Castor (auth.), Frank Graziani (eds.)
·335 Pages
·2008
·8.027 MB
Verification and Compliance: A Problem-Solving Approach
Michael Krepon, Mary Umberger (eds.)
·324 Pages
·1988
·31.087 MB
Simulink Verification and Validation User's Guide - MathWorks
718 Pages
·2016
·6.04 MB
Facial Kinship Verification: A Machine Learning Approach
Haibin Yan, Jiwen Lu (auth.)
·91 Pages
·2017
·3.024 MB
Security protocols verification in Abductive Logic Programming
232 Pages
·2012
·3.18 MB
Low-Power Design and Power-Aware Verification
Progyna Khondkar (auth.)
·165 Pages
·2018
·2.409 MB
Safe Neighborhood Computation for Hybrid System Verification
Yi Deng
·0.27 MB
Petri Nets: Fundamental Models, Verification and Applications
Michel Diaz
·613 Pages
·2009
·3.704 MB
Modelling, Specification and Verification of Reactive Systems
25 Pages
·2012
·0.24 MB
Verification Tools for Finite-State Concurrent Systems
52 Pages
·2015
·0.52 MB
Real-Time Systems: Scheduling, Analysis, and Verification
Albert M. K. Cheng
·550 Pages
·2002
·3.728 MB
Digital Timing Macromodeling for VLSI Design Verification
Jeong-Taek Kong, David Overhauser (auth.)
·275 Pages
·1995
·18.003 MB
Safety Instrumented Systems Verification: Practical Probabilistic Calculation
William M. Goble, Harry Cheddie
·385 Pages
·2005
·15.725 MB
Verification Based on Unfoldings of Petri Nets with Read Arcs
172 Pages
·2013
·1.68 MB
Co-Verification of Hardware and Software for ARM SoC Design
Jason R. Andrews
·285 Pages
·2005
·3.81 MB
Co-verification of Hardware and Software for ARM SoC Design
Jason R. Andrews
·285 Pages
·3.814 MB
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
Arun Chandrasekharan
·140 Pages
·2019
·2.97 MB
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Nils Przigoda
·257 Pages
·2018
·4.74 MB
Research Reactor Core Conversion Guidebook Vol 3 [Analytical Verification] (IAEA TECDOC-643v3)
356 Pages
·1992
·15.472 MB
NASA Technical Reports Server (NTRS) 20130011682: Validation and Verification of LADEE Models and Software
NASA Technical Reports Server (NTRS)
·0.3 MB
