Books on the topic 'Plan verification'

Wanhill, R. J. H. A test plan for sustained load fracture control verification. Amsterdam: National Aerospace Laboratory, 1989.

James, Peet. Verification Plans. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/978-1-4615-0473-3.

Albright, David. Dismantling the DPRK's nuclear weapons program: A practicable, verifiable plan of action. Washington, DC: United States Institute of Peace, 2006.

James, Peet. Verification plans: The five-day verification strategy for modern hardware verification languages. Boston: Kluwer Academic Publishers, 2004.

James, Peet. Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages. Boston, MA: Springer US, 2004.

Commission, Canadian Nuclear Safety. Human factors verification and validation plans. [Ottawa]: Canadian Nuclear Safety Commission, 2003.

National Bureau of Standards. Guideline for software verification and validation plans. Gaithersburg, MD: U.S. Dept. of Commerce/National Bureau of Standards, 1987.

Wynn, Sarah L. Aerial photography and aground verification at power plant sites: Wisconsin power plant impact study. Duluth, MN: U.S. Environmental Protection Agency, Environmental Research Laboratory, 1985.

Meyer, Kathleen R. Characterization of releases to surface water from the Rocky Flats Plant: Task 2, verification and analysis of source terms. Neeses, S.C: Radiological Assessments Corporation, 1999.

Weber, Jill M. Development of the Rocky Flats Plant 903 area plutonium source term: Task 2, verification and analysis of source terms. Neeses, S.C: Radiological Assessments Corporation, 1999.

Office, General Accounting. Performance plans: Selected approaches for verification and validation of agency performance information : report to the Chairman, Committee on Governmental Affairs, U.S. Senate. Washington, D.C. (P.O. Box 37050, Washington, D.C. 20013): The Office, 1999.

Voillequé, Paul G. Estimated airborne releases of plutonium during the 1957 fire in building 71: Task 2, verification and analysis of source terms. Neeses, S.C: Radiological Assessments Corporation, 1999.

Voillequé, Paul G. Review of routine releases of plutonium in airborne effluents at Rocky Flats: Task 2, verification and analysis of source terms. Neeses, S.C: Radiological Assessments Corporation, 1999.

Voillequé, Paul G. Estimated airborne release of plutonium during the 1969 fire in buildings 776-777: Task 2, verification and analysis of source terms. Neeses, S.C: Radiological Assessments Corporation, 1999.

Immigration: Enforcing employee work eligibility laws and implementing a stronger employment verification system : field hearing before the Subcommittee on Employer-Employee Relations of the Committee on Education and the Workforce, U.S. House of Representatives, One Hundred Ninth Congress, second session, July 31, 2006, in Plano, Texas. Washington: U.S. G.P.O., 2006.

M, Shagnea Anita, Hayhurst Kelly J, and Langley Research Center, eds. Software Verification Plan for GCS. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1990.

United States. National Aeronautics and Space Administration., ed. TOPEX/POSEIDON joint verification plan. [Washington, D.C: National Aeronautics and Space Administration, 1992.

TOPEX/POSEIDON joint verification plan. [Washington, D.C: National Aeronautics and Space Administration, 1992.

Cheng, Raymond. Automated tolerance verification for process plan generation: A knowledge-based approach. UMI, 1996.

(Firm), Aerojet, and United States. National Aeronautics and Space Administration., eds. Advanced Microwave Sounding Unit-A, performance verification plan: Contract no.--NAS 5-32314. Azusa, Calif: Aerojet, 1996.

Environmental Technology Verification Program: Quality and management plan for the pilot period (1995-2000). Cincinnati, Ohio: National Risk Management Research Laboratory, National Exposure Research Laboratory, Office of Research and Development, U.S. Environmental Protection Agency, 1998.

National Risk Management Research Laboratory (U.S.), ed. Environmental Technology Verification Program: Quality and management plan for the pilot period (1995-2000). Cincinnati, Ohio: National Risk Management Research Laboratory, National Exposure Research Laboratory, Office of Research and Development, U.S. Environmental Protection Agency, 1998.

Environmental, PES, and Golden Gate Bridge, Highway and Transportation District., eds. Verification sampling and analysis plan.: Golden Gate Bridge, San Francisco and Marin Counties, California : a report. Novato, Calif: PES Environmental, Inc., 1997.

United States. National Aeronautics and Space Administration., ed. Summary of payload integration plan (PIP) for Starlab-1 flight experiment: Verification of autogenic-feedback training as a countermeasure for space adaptation syndrome. [Washington, DC: National Aeronautics and Space Administration, 1988.

Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages. Springer, 2011.

James, Peet. Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages. Springer, 2003.

IEEE Standard for software verification and validation plans. New York, NY: Institute of Electrical and Electronics Engineers, 1986.

Institute Of Electrical and Electronics Engineers. IEEE Guide for Software Verification and Validation Plans. Institute of Electrical & Electronics Enginee, 1994.

IEEE guide for software verification and validation plans. New York: Institute of Electrical and Electronics Engineers, 1994.

Institute Of Electrical and Electronics Engineers. IEEE Guide for Software Verification and Validation Plans/Std 1059-1993 (IEEE Guide for Software Verification & Validation Plans Std). Institute of Electrical & Electronics Enginee, 1994.

Institute Of Electrical and Electronics Engineers. IEEE Standard for Software Verification and Validation Plans (Ansi). Institute of Electrical & Electronics Enginee, 1997.

IEEE Computer Society. Software Engineering Technical Committee., ed. IEEE standard for software verification and validation plans: An Americal National Standard. New York: IEEE, 1986.

Agency, International Atomic Energy, ed. Verification and validation of software related to nuclear power plant instrumentation and control. Vienna: International Atomic Energy Agency, 1999.

Cervera, Isabel. Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control (Technical Reports Series (International Atomic Energy Agency)). International Atomic Energy Agency, 1999.

1945-, Meyer H. R., Till John E, Colorado. Division of Disease Control and Environmental Epidemiology., and Radiological Assessments Corporation, eds. The Rocky Flats Plant 903 area characterization: Task 2, verification and analysis of source terms. Neeses, S.C: Radiological Assessments Corporation, 1996.

Ray, Sumantra (Shumone), Sue Fitzpatrick, Rajna Golubic, Susan Fisher, and Sarah Gibbings, eds. Monitoring. Oxford University Press, 2016. http://dx.doi.org/10.1093/med/9780199608478.003.0013.

Verification of nonlinear piping response calculation with data from seismic testing of an in-plant piping system. Washington, DC: Division of Engineering, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, 1992.

A, Kot C., Hsieh B. J, U.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research. Division of Engineering., and Argonne National Laboratory, eds. Verification of piping response calculation of SMACS code with data from seismic testing of an in-plant piping system. Washington, DC: Division of Engineering, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, 1991.

A, Kot C., Hsieh B. J, U.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research. Division of Engineering., and Argonne National Laboratory, eds. Verification of piping response calculation of SMACS code with data from seismic testing of an in-plant piping system. Washington, DC: Division of Engineering, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, 1991.

Tennant, Neil. Truthmakers and Consequence. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198777892.003.0008.

Verification of Phase I source term & uncertainty estimates: (critique of Phase I and recommendations for Phase II of the Historical public exposures studies on Rocky Flats). [Denver, Colo.]: The Dept., 1994.

McGill University. Institute of Air and Space Law., ed. Space surveillance for arms control and verification, options: Proceedings of the symposium held on October 21-23, 1987 = La Surveillance spatiale pour le contrôle et la vérification des armements, les options : rapports du symposium tenu les 21-22-23 octobre 1987. Montreal, Canada: Centre for Research of Air and Space Law, McGill University, 1987.