Top 1014 audits verification PDF Book Page 27
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Armin Biere (auth.), Kerstin Eder, João Lourenço, Onn Shehory (eds.)
·273 Pages
·2012
·7.226 MB
NASA Technical Reports Server (NTRS) 20150001263: Check-Cases for Verification of 6-Degree-of-Freedom Flight Vehicle Simulations
NASA Technical Reports Server (NTRS)
·0.29 MB
NASA Technical Reports Server (NTRS) 20040010327: Experimental Evaluation of Verification and Validation Tools on Martian Rover Software
NASA Technical Reports Server (NTRS)
·33 Pages
·2 MB
On-Orbit Performance Verification and End-to-End Characterization of the TDRS-H Ka-Band Communications Payload
Toral, Marco
·8 Pages
·2002
·0.46 MB
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
João Lourenço (auth.), Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz (eds.)
·207 Pages
·2011
·3.369 MB
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)
·177 Pages
·2011
·2.391 MB
Sequential Convex Programming for the Efficient Verification of Parametric MDPs
Murat Cubuktepe
·0.26 MB
DTIC ADA399228: Model-Based Verification: Guidelines for Generating Expected Properties
Defense Technical Information Center
·28 Pages
·1.1 MB
Automated verification of dynamic root of trust protocols (long version)
Sergiu Bursuc
·0.38 MB
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
Arun Chandrasekharan, Daniel Große, Rolf Drechsler
·140 Pages
·2019
·2.966 MB
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
126 Pages
·2017
·2.4 MB
Verification Based on Unfoldings of Petri Nets with Read Arcs
172 Pages
·2014
·1.68 MB
LAPUR [FORTRAN Reactor Core Simul Pgm] - Verification and Users Guide
105 Pages
·2000
·0.322 MB
A Unified Approach for Timing Verification and Delay Fault Testing
Mukund Sivaraman, Andrzej J. Strojwas (auth.)
·163 Pages
·1998
·4.57 MB
Autonomic Networking-on-Chip : Bio-Inspired Specification, Development, and Verification
Cong-Vinh, Phan
·270 Pages
·2011
·2.517 MB
Design and Verification of Microprocessor Systems for High-Assurance Applications
Matt Kaufmann, J Strother Moore (auth.), David S. Hardin (eds.)
·439 Pages
·2010
·6.187 MB
Deductive Software Verification – The KeY Book: From Theory to Practice
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich (eds.)
·714 Pages
·2016
·8.264 MB
Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
Jean Goubault-Larrecq, Julien Olivain (auth.), Martin Leucker (eds.)
·194 Pages
·2008
·2.859 MB
Handbook of Formal Analysis and Verification in Cryptography (Prospects in Pure and Applied Mathematics)
Sedat Akleylek
·445 Pages
·2023
·12 MB
DTIC ADA339125: Review and Verification of Numerical Wave Models for Near Coastal Areas - Part 2: Verification of Near Coastal Numerical Wave Models
Defense Technical Information Center
·108 Pages
·5.4 MB
DTIC ADA474306: Verification and Optimization of the Physics Parameters of the Onboard Galileo Passive Hydrogen Maser
Defense Technical Information Center
·0.43 MB
17th Edition IEE Wiring Regulations: Design and Verification of Electrical Installations, Sixth Edition (IEE Wiring Regulations, 17th edition)
Brian Scaddan
·137 Pages
·2008
·1.58 MB
