Cover Image

Verification and validation: process VS procedure

Saved in:

Bibliographic Details
Date:	2013
Main Authors:	V. L. Demekhin, V. V. Ilkovich, V. N. Bukanov
Format:	Article
Language:	English
Published:	2013
Series:	Nuclear physics and atomic energy
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000331701
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

Estimation of the error of functionals calculation results of the neutron flux onto the WWER 1000 reactor pressure vessel
by: V. L. Demekhin, et al.
Published: (2013)

Estimation of the error of functionals calculation results of the neutron flux onto the WWER 1000 reactor pressure vessel
by: V. L. Demekhin, et al.
Published: (2012)

Validation of the code package MCPV adapted for neutron transport calculation within WWER-440 reactor near-vessel space
by: A. M. Pugach, et al.
Published: (2019)

Development and validation of the HPLC/UV-procedure of secnidazole determination
by: O. V. Shovkova, et al.
Published: (2018)

Safety Factors for Neutron Fluences in NPP Safety Assessment
by: V. L. Demekhin, et al.
Published: (2017)

Development and validation of hplc/uv-procedures for quantification of metronidazole in blood and urine
by: Yu. Klymenko, et al.
Published: (2019)

Validation of biological activity testing procedure of recombinant human interleukin-7
by: T. N. Lutsenko, et al.
Published: (2017)

Development and validation of GLC/MS-procedure of doxylamine quantitative determination
by: Yu. Klymenko, et al.
Published: (2019)

Procedural actions conducted during the clarification of the circumstances of the criminal proceedings and verification of their evidence
by: Ye. Tymoshuk
Published: (2018)

Development and validation of HPLC/UV-procedures of efavirenz determination in biological fluids
by: O. I. Slabiak, et al.
Published: (2019)

Development and validation of GLC/FID- and GLC/MS-procedures of secnidazole determination by the methods of additions
by: O. V. Shovkova, et al.
Published: (2018)

Development and validation of the HPLC-procedure for the quantitative determination of isosorbide dinitrate in matrix granules
by: D. S. Oliinykov, et al.
Published: (2019)

Verification of adequacy of mathematical model of process of crystallization of EBCHM ingot
by: V. A. Berezos
Published: (2010)

Development and validation of the enzymatic kinetic photometric procedure for determination of residual quantities of dequalinium chloride on the surface of the pharmaceutical equipment
by: Ye. Blazheievskyi, et al.
Published: (2019)

Development and validation of software for simulation of product processing regimes at an electron accelerator
by: Nikiforov, V.I., et al.
Published: (2013)

Satisfiability For Symbolic Verification in VRS
by: A. Letichevsky, et al.
Published: (2013)

Satisfiability For Symbolic Verification in VRS
by: Letichevsky, A., et al.
Published: (2013)

The Validity of Christian Orthodox Conscientiousness
by: V. N. Velichko
Published: (2011)

Specificity of manufacturing process validation for diagnostic serological devices
by: Yu. Galkin, et al.
Published: (2018)

Semantic Space for the Verification of Economic Mathematical Models
by: V. L. Petryk
Published: (2013)

Simple non-deterministic rewriting in verification
by: Letichevsky, A., et al.
Published: (2010)

Influence of geometrical parameters of the VVER-1000 reactor construction elements to internals irradiation conditions
by: A. M. Pugach, et al.
Published: (2015)

The logic of verification of knowledge in the arguments of neopositivism
by: L. H. Komakha
Published: (2015)

The verification of constant preparation methodology for IMCORE code
by: Galchenko, V.V., et al.
Published: (2018)

Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2010)

Deductive verification of requirements for event-driven architecture
by: Letichevsky, A., et al.
Published: (2013)

Deductive verification of requirements for event-driven architecture
by: A. Letichevsky, et al.
Published: (2013)

Forming of the approach to verification of power system dynamic model
by: V. V. Pavlovskyi, et al.
Published: (2015)

Rapid vs. Qualitative Development
by: Panchenko, T.V.
Published: (2025)

Deductive verification of requirements for event-driven architecture
by: Letichevsky, A.A., et al.
Published: (2025)

Verification of the hypotheses on the equality of densities of distributions
by: P. K. Babilua, et al.
Published: (2016)

Formal verification of deep neural networks
by: Panchuk, B.O.
Published: (2024)

Verification of the hypotheses on the equality of densities of distributions
by: Babilua, P., et al.
Published: (2016)

Experimental verification of internal convergence of iterative GMDH algorithms
by: V. Stepashko, et al.
Published: (2012)

Model of information object for digital library and its verification
by: O. V. Novytskyi, et al.
Published: (2020)

Experimental Verification of Internal Convergence of Iterative GMDH Algorithms
by: Stepashko, V., et al.
Published: (2012)

Experimental Verification of Internal Convergence of Iterative GMDH Algorithms
by: V. Zosimov
Published: (2013)

Model of information object for digital library and its verification
by: Novitsky, A.V., et al.
Published: (2020)

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)

Diagnostic approaches to glusometabolic categories verification: views evolution
by: T. V. Ashcheulova, et al.
Published: (2016)