Зображення обкладинки

Verification and validation: process VS procedure

Збережено в:

Бібліографічні деталі
Дата:	2013
Автори:	V. L. Demekhin, V. V. Ilkovich, V. N. Bukanov
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2013
Назва видання:	Nuclear physics and atomic energy
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000331701
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

Схожі ресурси

Estimation of the error of functionals calculation results of the neutron flux onto the WWER 1000 reactor pressure vessel
за авторством: V. L. Demekhin, та інші
Опубліковано: (2013)

Estimation of the error of functionals calculation results of the neutron flux onto the WWER 1000 reactor pressure vessel
за авторством: V. L. Demekhin, та інші
Опубліковано: (2012)

Development and validation of the HPLC/UV-procedure of secnidazole determination
за авторством: O. V. Shovkova, та інші
Опубліковано: (2018)

Validation of the code package MCPV adapted for neutron transport calculation within WWER-440 reactor near-vessel space
за авторством: A. M. Pugach, та інші
Опубліковано: (2019)

Safety Factors for Neutron Fluences in NPP Safety Assessment
за авторством: V. L. Demekhin, та інші
Опубліковано: (2017)

Development and validation of hplc/uv-procedures for quantification of metronidazole in blood and urine
за авторством: Yu. Klymenko, та інші
Опубліковано: (2019)

Validation of biological activity testing procedure of recombinant human interleukin-7
за авторством: T. N. Lutsenko, та інші
Опубліковано: (2017)

Development and validation of GLC/MS-procedure of doxylamine quantitative determination
за авторством: Yu. Klymenko, та інші
Опубліковано: (2019)

Procedural actions conducted during the clarification of the circumstances of the criminal proceedings and verification of their evidence
за авторством: Ye. Tymoshuk
Опубліковано: (2018)

Development and validation of HPLC/UV-procedures of efavirenz determination in biological fluids
за авторством: O. I. Slabiak, та інші
Опубліковано: (2019)

Development and validation of GLC/FID- and GLC/MS-procedures of secnidazole determination by the methods of additions
за авторством: O. V. Shovkova, та інші
Опубліковано: (2018)

Development and validation of the HPLC-procedure for the quantitative determination of isosorbide dinitrate in matrix granules
за авторством: D. S. Oliinykov, та інші
Опубліковано: (2019)

Verification of adequacy of mathematical model of process of crystallization of EBCHM ingot
за авторством: V. A. Berezos
Опубліковано: (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
за авторством: Ye. Blazheievskyi, та інші
Опубліковано: (2019)

Satisfiability For Symbolic Verification in VRS
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)

Specificity of manufacturing process validation for diagnostic serological devices
за авторством: Yu. Galkin, та інші
Опубліковано: (2018)

The Validity of Christian Orthodox Conscientiousness
за авторством: V. N. Velichko
Опубліковано: (2011)

Semantic Space for the Verification of Economic Mathematical Models
за авторством: V. L. Petryk
Опубліковано: (2013)

Simple non-deterministic rewriting in verification
за авторством: Letichevsky, A., та інші
Опубліковано: (2010)

The logic of verification of knowledge in the arguments of neopositivism
за авторством: L. H. Komakha
Опубліковано: (2015)

Influence of geometrical parameters of the VVER-1000 reactor construction elements to internals irradiation conditions
за авторством: A. M. Pugach, та інші
Опубліковано: (2015)

Rapid vs. Qualitative Development
за авторством: Panchenko, T.V.
Опубліковано: (2025)

Verification of the hypotheses on the equality of densities of distributions
за авторством: P. K. Babilua, та інші
Опубліковано: (2016)

Deductive verification of requirements for event-driven architecture
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)

Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)

Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)

Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)

Forming of the approach to verification of power system dynamic model
за авторством: V. V. Pavlovskyi, та інші
Опубліковано: (2015)

Model of information object for digital library and its verification
за авторством: O. V. Novytskyi, та інші
Опубліковано: (2020)

Experimental verification of internal convergence of iterative GMDH algorithms
за авторством: V. Stepashko, та інші
Опубліковано: (2012)

Experimental Verification of Internal Convergence of Iterative GMDH Algorithms
за авторством: V. Zosimov
Опубліковано: (2013)

Model of information object for digital library and its verification
за авторством: Novitsky, A.V., та інші
Опубліковано: (2020)

Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)

Theoretical validation of measuring scales
за авторством: S. Dembitskij
Опубліковано: (2012)

Theoretical validation of measuring scales
за авторством: S. Dembitskyi
Опубліковано: (2012)

Sociological tests: nature and validization
за авторством: S. Dembitskij
Опубліковано: (2016)

Sociological tests: nature and validization
за авторством: S. Dembitskyi
Опубліковано: (2016)

Diagnostic approaches to glusometabolic categories verification: views evolution
за авторством: T. V. Ashcheulova, та інші
Опубліковано: (2016)

Ukren vs Ukrainian: problems of stereotypization
за авторством: V. M. Puhach
Опубліковано: (2017)

Validation of SCALE Model of VVR-M Reactor
за авторством: V. I. Borysenko, та інші
Опубліковано: (2020)