Top 1014 audits verification PDF Book Page 29
NASA Technical Reports Server (NTRS) 19980017167: Verification of Space Station Secondary Power System Stability Using Design of Experiment
NASA Technical Reports Server (NTRS)
·10 Pages
·0.56 MB
DTIC ADA470970: High Accuracy Verification of a Correlated-Photon-Based Method for Determining Photon-Counting Detection Efficiency
Defense Technical Information Center
·0.23 MB
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)
·207 Pages
·2009
·2.379 MB
NASA Technical Reports Server (NTRS) 20060025997: Verification and Validation of NASA-Supported Enhancements to PECAD's Decision Support Tools
NASA Technical Reports Server (NTRS)
·1.5 MB
NASA Technical Reports Server (NTRS) 19950016413: Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits
NASA Technical Reports Server (NTRS)
·144 Pages
·4.1 MB
Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
Marc Boulé, Zeljko Zilic
·289 Pages
·2008
·3.737 MB
ESL Models and their Application: Electronic System Level Design and Verification in Practice
Brian Bailey, Grant Martin (auth.)
·466 Pages
·2010
·12.63 MB
Introduction to Finite Element Analysis: Formulation, Verification and Validation (Wiley Series in Computational Mechanics)
Barna Szabó, Ivo Babuška
·368 Pages
·2011
·10.614 MB
NASA Technical Reports Server (NTRS) 20120009273: Validation and Verification of Operational Land Analysis Activities at the Air Force Weather Agency
NASA Technical Reports Server (NTRS)
·4.9 MB
NASA Technical Reports Server (NTRS) 20050092347: Verification of the Multi-Axial, Temperature and Time Dependent (MATT) Failure Criterion
NASA Technical Reports Server (NTRS)
·0.22 MB
GSO ISO 2942: Hydraulic fluid power – Filter elements – Verification of fabrication integrity and determination of the first bubble point
GCC Standardization Organization (GSO)
·2011
·1.1 MB
Protocol Specification, Testing and Verification XV: Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995
Piotr Dembiński, Marek Średniawa (eds.)
·452 Pages
·1996
·39.128 MB
Chromosomal multiformity in Eligmodontia (Muridae, Sigmodontinae), and verification of the Status of E. morgani
Milton H Gallardo
·7 Pages
·1991
·3.4 MB
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
Manuvir Das (auth.), Thomas Ball, Robert B. Jones (eds.)
·576 Pages
·2006
·6.816 MB
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
James R. Larus (auth.), Aarti Gupta, Sharad Malik (eds.)
·574 Pages
·2008
·5.97 MB
DTIC ADA419001: Verification and Validation of Embedded Knowledge-Based Software Systems
Defense Technical Information Center
·5 Pages
·0.27 MB
Ligurio_awesome-software-quality_ List of Free Software Testing and Verification Resources
['Interact people']
·8 Pages
·2018
Reasoning in Boolean Networks: Logic Synthesis and Verification using Testing Techniques
Wolfgang Kunz, Dominik Stoffel (auth.)
·234 Pages
·1997
·7.008 MB
16th Edition IEE Wiring Regulations: Design and Verification of Electrical Installations
Brian Scaddan IEng; MIIE (elec)
·89 Pages
·1995
·5.213 MB
Systemverilog for Verification: A Guide to Learning the Testbench Language Features
Chris Spear (auth.)
·326 Pages
·2006
·1.366 MB
