Top 1014 audits verification PDF Book Page 35
NASA Technical Reports Server (NTRS) 20020050507: MSFC Turbine Performance Optimization (TPO) Technology Verification Status
NASA Technical Reports Server (NTRS)
·26 Pages
·1.5 MB
Design, Construction and Verification of a High-Level Security Protocol Allowing to Apply the ...
Marcin Niemiec
·114 Pages
·2011
·1.26 MB
Aspect-Oriented Programming with the e Verification Language : A Pragmatic Guide for Testbench Developers
David Robinson
·265 Pages
·2004
·1.358 MB
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs
Vladimir Herdt (auth.)
·172 Pages
·2016
·1.71 MB
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
Yliès Falcone, César Sánchez (eds.)
·519 Pages
·2016
·20.805 MB
Verifying Calculations - Forty Years On: An Overview of Classical Verification Techniques for FEM Simulations
Ludovic Chamoin, Pedro Díez (eds.)
·101 Pages
·2.141 MB
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Bernd Finkbeiner, Leonardo Mariani
·424 Pages
·2019
·18.288 MB
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
Wojciech Penczek, Agata Polrola
·280 Pages
·2006
·2.778 MB
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
Nathan Whitehead, Jordan Johnson, Martín Abadi (auth.), Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura (eds.)
·576 Pages
·2007
·6.097 MB
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Doron Drusinsky
·321 Pages
·2006
·9.249 MB
IS 1586-2: Metallic Materials - Rockwell Hardness Test, Part 2: Verification and Calibration of Testing Machines ( Scales A,B,C,D,E,F,G,H, K, N,T)
Bureau of Indian Standards
·2012
·0.99 MB
Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Shuvendu K. Lahiri, Chao Wang
·569 Pages
·2018
·18.687 MB
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Roderick Bloem, Robert Könighofer (auth.), Kenneth L. McMillan, Xavier Rival (eds.)
·507 Pages
·2014
·8.219 MB
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)
·248 Pages
·2011
·4.541 MB
Developments in Surface Contamination and Cleaning - Vol 6: Methods of Cleaning and Cleanliness Verification
Rajiv Kohli, Kashmiri L. Mittal
·213 Pages
·2013
·12.273 MB
Aspect-Oriented Programming with the E Verification Language: A Pragmatic Guide for Testbench Developers
David Robinson
·265 Pages
·2007
·3.27 MB
Principles of Verifiable RTL Design: A Functional Coding Style Supporting Verification Processes in Verilog
Lionel Bening, Harry Foster (auth.)
·265 Pages
·2002
·4.967 MB
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino
Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)
·663 Pages
·2007
·3.942 MB
Maxwell's theory of the viscosity of solids and certain features of its physical verification
Barus, Carl
·41 Pages
·1888
·2.121 MB
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97
Andreas Ulrich, Hartmut König (auth.), Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Atsushi Togashi (eds.)
·534 Pages
·1997
·20.898 MB
Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021 Virtual Event, November 22–23, 2021 Revised Selected Papers
Ayoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li
·101 Pages
·2022
·3.806 MB
