Logout succeed
Logout succeed. See you again!
Top 1014 audits verification PDF Book Page 27
Try WiseWorksheets to request a book.
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
David Harel (auth.), Armin Biere, Amir Nahir, Tanja Vos (eds.)
291 Pages
2013
3.505 MB
NASA Technical Reports Server (NTRS) 20040010327: Experimental Evaluation of Verification and Validation Tools on Martian Rover Software
NASA Technical Reports Server (NTRS)33 Pages2 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 Pages20112.391 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 Pages20113.369 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
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 Center108 Pages5.4 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 Pages20082.859 MB
Handbook of Formal Analysis and Verification in Cryptography (Prospects in Pure and Applied Mathematics)
Sedat Akleylek445 Pages202312 MB
On-Orbit Performance Verification and End-to-End Characterization of the TDRS-H Ka-Band Communications Payload
Toral, Marco8 Pages20020.46 MB
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
Arun Chandrasekharan, Daniel Große, Rolf Drechsler140 Pages20192.966 MB
Automated verification of dynamic root of trust protocols (long version)
Sergiu Bursuc0.38 MB
DTIC ADA399228: Model-Based Verification: Guidelines for Generating Expected Properties
Defense Technical Information Center28 Pages1.1 MB
Sequential Convex Programming for the Efficient Verification of Parametric MDPs
Murat Cubuktepe0.26 MB
Verification Based on Unfoldings of Petri Nets with Read Arcs
172 Pages20141.68 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 Pages20168.264 MB
Design and Verification of Microprocessor Systems for High-Assurance Applications
Matt Kaufmann, J Strother Moore (auth.), David S. Hardin (eds.)439 Pages20106.187 MB
Autonomic Networking-on-Chip : Bio-Inspired Specification, Development, and Verification
Cong-Vinh, Phan270 Pages20112.517 MB
A Unified Approach for Timing Verification and Delay Fault Testing
Mukund Sivaraman, Andrzej J. Strojwas (auth.)163 Pages19984.57 MB
LAPUR [FORTRAN Reactor Core Simul Pgm] - Verification and Users Guide
105 Pages20000.322 MB
DTIC ADA370543: Lessons Learned using the JNTF Verification & Validation Process
Defense Technical Information Center12 Pages0.46 MB
Protocol, Mobility and Adversary Models for the Verification of Security
132 Pages20169.46 MBMost books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
