Books on the topic 'Dynamic verification'

Wei©, Benjamin. Deductive verification of object-oriented software: Dynamic frames, dynamic logic and predicate abstraction. Hannover: Technische Informationsbibliothek u. Universita tsbibliothek, 2011.

Escriva, A. LAPUR5.2 verification and user's manual. Washington, D.C: U.S. Nuclear Regulatory Commission, 2001.

Yu, Xiaolei, Donghua Wang, and Zhimin Zhao. Semi-physical Verification Technology for Dynamic Performance of Internet of Things System. Singapore: Springer Singapore, 2019. http://dx.doi.org/10.1007/978-981-13-1759-0.

Russell, Richard Allen. A space station structures and assembly verification experiment-save. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1986.

Allwes, Richard A. Arch canopy verification tests. Washington, D.C: Bureau of Mines, U.S. Dept. of the Interior, 1990.

Marvin, Joseph G. Wind tunnel requirements for computational fluid dynamics code verification. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1987.

Happian-Smith, Julian. Motorcycle and rider dynamics in frontal collision, simulation and verification. Uxbridge: Brunel University, 1989.

Maddock, Bill. Verification of CSA Code for fixed offshore steel structures. [Calgary?]: Environmental Studies Research Funds, 1992.

Allyn, Norman. Verification of CSA Code for fixed offshore concrete structures. [Calgary]: National Energy Board, 1992.

International, Conference on the Verification of Numerical Procedures for the Analysis of Soil Liquefaction Problems (1993 Davis Calif ). Verification of numerical procedures for the analysis of soil liquefaction problems: Proceedings of the International Conference on the Verification of Numerical Proceedures for the Analysis of Soil Liquifaction Problems, Davis, California, USA, 17-20 October 1993. Rotterdam: A.A. Balkema, 1993.

la, Llave Rafael de, and Seara Tere M. 1961-, eds. A geometric mechanism for diffusion in Hamiltonian systems overcoming the large gap problem: Heuristics and rigorous verification on a model. Providence, R.I: American Mathematical Society, 2006.

Szuch, John R. Enhancing aeropropulsion research with high-speed interactive computing. [Cleveland, Ohio: National Aeronautics and Space Administration, Lewis Research Center, 1991.

Jean, Kovalevsky, and Brumberg V. A, eds. Relativity in celestial mechanics and astrometry: High precision dynamical theories and observational verifications : proceedings of the 114th Symposium of the International Astronomical Union, held in Leningrad, USSR, May 28-31, 1985. Dordrecht: D. Reidel, 1986.

SystemVerilog assertions handbook : for dynamic and formal verification. VhdlCohen Publishing, 2016.

Wang, Donghua, Xiaolei Yu, and Zhimin Zhao. Semi-physical Verification Technology for Dynamic Performance of Internet of Things System. Springer, 2018.

Yu, Xiaolei. Semi-physical Verification Technology for Dynamic Performance of Internet of Things System. Springer, 2018.

F, Harrington, and United States. National Aeronautics and Space Administration., eds. Static test induced loads verification beyond elastic limit. [Washington, D.C: National Aeronautics and Space Administration, 1996.

Peter, Ramins, and United States. National Aeronautics and Space Administration. Scientific and Technical Information Branch., eds. Verification of computer-aided designs of traveling-wave tubes utilizing novel dynamic refocusers and graphite electrodes for the multistage depressed collector. [Washington, D.C.]: National Aeronautics and Space Administration, Scientific and Technical Information Branch, 1985.

Peter, Ramins, and United States. National Aeronautics and Space Administration. Scientific and Technical Information Branch., eds. Verification of computer-aided designs of traveling-wave tubes utilizing novel dynamic refocusers and graphite electrodes for the multistage depressed collector. [Washington, D.C.]: National Aeronautics and Space Administration, Scientific and Technical Information Branch, 1985.

Kapitaniak, Tomasz, Michał Niełaczny, and Barnat Wiesław. Dynamics of the Unicycle: Modelling and Experimental Verification. Springer, 2018.

Verification Numerical (V2) Procedure. Routledge, 1994.

Y, Wang S., and Environmental and Water Resources Institute (U.S.). Task Committee on 3D Free-Surface Flow Model Verification and Validation., eds. Verification and validation of 3D free-surface flow models. Reston, Va: American Society of Civil Engineers, 2008.

Guide for the Verification and Validation of Computational Fluid Dynamics Simulations. American Institute of Aeronautics & Astronautics (AIAA),U.S., 1999.

Guide for the verification and validation of computational fluid dynamics simulations. Reston, VA: American Institute of Aeronautics and Astronautics, 1998.

American Institute of Aeronautics and As. Aiaa Guide for the Verification and Validation of Computational Fluid Dynamics Simulations. AIAA (American Institute of Aeronautics & Ast, 1998.

Center, NASA Glenn Research, ed. Verification assessment of flow boundary conditions for CFD analysis of supersonic inlet flows. Cleveland, Ohio: National Aeronautics and Space Administration, Glenn Research Center, 2002.

W, Ambrosini, U.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research, Autoridad Regulatoria Nuclear (Argentina), and Università di Pisa. Dipartimento di costruzioni meccaniche e nucleari, eds. Verification of RELAP5/MOD 3 with theoretical and numerical stability results on single-phase, natural circulation in a simple loop. Washington, DC: Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, 1999.

W, Ambrosini, U.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research., Autoridad Regulatoria Nuclear (Argentina), and Università di Pisa. Dipartimento di costruzioni meccaniche e nucleari., eds. Verification of RELAP5/MOD 3 with theoretical and numerical stability results on single-phase, natural circulation in a simple loop. Washington, DC: Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, 1999.

Guide: Guide for the Verification and Validation of Computational Fluid Dynamics Simulations (AIAA G-077-1998(2002)). Washington, DC: American Institute of Aeronautics and Astronautics, Inc., 1998. http://dx.doi.org/10.2514/4.472855.

J, Georgiadis Nicholas, Smith Crawford F, and United States. National Aeronautics and Space Administration., eds. Validation of the NPARC code for nozzle afterbody flows at transonic speeds. [Washington, DC]: National Aeronautics and Space Administration, 1995.

1925-, Georgiadis Nicholas, Smith Crawford F, and United States. National Aeronautics and Space Administration., eds. Validation of the NPARC code for nozzle afterbody flows at transonic speeds. [Washington, DC]: National Aeronautics and Space Administration, 1995.

J, Hall Edward, Delaney Robert A, and Lewis Research Center, eds. Follow-on low noise fan aerodynamic study: Task 15-final report. [Cleveland, Ohio]: National Aeronautics and Space Administration, Lewis Research Center, 1999.

United States. National Aeronautics and Space Administration., ed. Parallel ALLSPD-3D: Speeding up combustor analysis via parallel processing. [Washington, D.C: National Aeronautics and Space Administration, 1997.

J, Hall Edward, Delaney R. A, and Lewis Research Center, eds. Follow-on low noise fan aerodynamic study: Task 15-final report. [Cleveland, Ohio]: National Aeronautics and Space Administration, Lewis Research Center, 1999.

United States. National Aeronautics and Space Administration., ed. Parallel ALLSPD-3D: Speeding up combustor analysis via parallel processing. [Washington, D.C: National Aeronautics and Space Administration, 1997.

United States. National Aeronautics and Space Administration., ed. Parallel ALLSPD-3D: Speeding up combustor analysis via parallel processing. [Washington, DC]: National Aeronautics and Space Administration, 1997.

United States. National Aeronautics and Space Administration., ed. Parallel ALLSPD-3D: Speeding up combustor analysis via parallel processing. [Washington, DC]: National Aeronautics and Space Administration, 1997.

Follow-on low noise fan aerodynamic study: Task 15-final report. [Cleveland, Ohio]: National Aeronautics and Space Administration, Lewis Research Center, 1999.

J, Hall Edward, Delaney Robert A, and Lewis Research Center, eds. Follow-on low noise fan aerodynamic study: Task 15-final report. [Cleveland, Ohio]: National Aeronautics and Space Administration, Lewis Research Center, 1999.

United States. National Aeronautics and Space Administration., ed. Parallel ALLSPD-3D: Speeding up combustor analysis via parallel processing. [Washington, DC]: National Aeronautics and Space Administration, 1997.

Parallel ALLSPD-3D: Speeding up combustor analysis via parallel processing. [Washington, DC]: National Aeronautics and Space Administration, 1997.

Ward, Michael D. Statistical Analysis of International Interdependencies. Oxford University Press, 2017. http://dx.doi.org/10.1093/acrefore/9780190846626.013.303.

B, Gatski T., and NASA Glenn Research Center, eds. Summary of EASM turbulence models in CFL3D with validation test cases. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 2003.

Virtual Immersive And 3d Learning Spaces Emerging Technologies And Trends. Information Science Publishing, 2010.