Buchumschlag

Verification and validation: process VS procedure

Gespeichert in:

Bibliographische Detailangaben
Datum:	2013
Hauptverfasser:	V. L. Demekhin, V. V. Ilkovich, V. N. Bukanov
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2013
Schriftenreihe:	Nuclear physics and atomic energy
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000331701
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Ähnliche Einträge

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

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

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

Development and validation of the HPLC/UV-procedure of secnidazole determination
von: O. V. Shovkova, et al.
Veröffentlicht: (2018)

Safety Factors for Neutron Fluences in NPP Safety Assessment
von: V. L. Demekhin, et al.
Veröffentlicht: (2017)

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

Validation of biological activity testing procedure of recombinant human interleukin-7
von: T. N. Lutsenko, et al.
Veröffentlicht: (2017)

Development and validation of GLC/MS-procedure of doxylamine quantitative determination
von: Yu. Klymenko, et al.
Veröffentlicht: (2019)

Procedural actions conducted during the clarification of the circumstances of the criminal proceedings and verification of their evidence
von: Ye. Tymoshuk
Veröffentlicht: (2018)

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

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

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

Verification of adequacy of mathematical model of process of crystallization of EBCHM ingot
von: V. A. Berezos
Veröffentlicht: (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
von: Ye. Blazheievskyi, et al.
Veröffentlicht: (2019)

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

Satisfiability For Symbolic Verification in VRS
von: A. Letichevsky, et al.
Veröffentlicht: (2013)

Satisfiability For Symbolic Verification in VRS
von: Letichevsky, A., et al.
Veröffentlicht: (2013)

The Validity of Christian Orthodox Conscientiousness
von: V. N. Velichko
Veröffentlicht: (2011)

Specificity of manufacturing process validation for diagnostic serological devices
von: Yu. Galkin, et al.
Veröffentlicht: (2018)

Semantic Space for the Verification of Economic Mathematical Models
von: V. L. Petryk
Veröffentlicht: (2013)

Simple non-deterministic rewriting in verification
von: Letichevsky, A., et al.
Veröffentlicht: (2010)

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

The logic of verification of knowledge in the arguments of neopositivism
von: L. H. Komakha
Veröffentlicht: (2015)

The verification of constant preparation methodology for IMCORE code
von: Galchenko, V.V., et al.
Veröffentlicht: (2018)

Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2010)

Deductive verification of requirements for event-driven architecture
von: Letichevsky, A., et al.
Veröffentlicht: (2013)

Deductive verification of requirements for event-driven architecture
von: A. Letichevsky, et al.
Veröffentlicht: (2013)

Forming of the approach to verification of power system dynamic model
von: V. V. Pavlovskyi, et al.
Veröffentlicht: (2015)

Rapid vs. Qualitative Development
von: Panchenko, T.V.
Veröffentlicht: (2025)

Deductive verification of requirements for event-driven architecture
von: Letichevsky, A.A., et al.
Veröffentlicht: (2025)

Verification of the hypotheses on the equality of densities of distributions
von: P. K. Babilua, et al.
Veröffentlicht: (2016)

Formal verification of deep neural networks
von: Panchuk, B.O.
Veröffentlicht: (2024)

Verification of the hypotheses on the equality of densities of distributions
von: Babilua, P., et al.
Veröffentlicht: (2016)

Experimental verification of internal convergence of iterative GMDH algorithms
von: V. Stepashko, et al.
Veröffentlicht: (2012)

Model of information object for digital library and its verification
von: O. V. Novytskyi, et al.
Veröffentlicht: (2020)

Experimental Verification of Internal Convergence of Iterative GMDH Algorithms
von: Stepashko, V., et al.
Veröffentlicht: (2012)

Experimental Verification of Internal Convergence of Iterative GMDH Algorithms
von: V. Zosimov
Veröffentlicht: (2013)

Model of information object for digital library and its verification
von: Novitsky, A.V., et al.
Veröffentlicht: (2020)

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

Diagnostic approaches to glusometabolic categories verification: views evolution
von: T. V. Ashcheulova, et al.
Veröffentlicht: (2016)