verification
71Verification theory — The verification theory (of meaning) is a philosophical theory proposed by the logical positivists of the Vienna Circle. A simplified form of the theory states that a proposition s meaning is determined by the method through which it is… …
72Vérification formelle — On parle de vérification formelle quand on utilise les techniques des méthodes formelles. Se référer à cet article pour plus de détails. Dans le monde industriel, la vérification formelle est utilisée aussi bien pour vérifier du code informatique …
73verification of a measuring instrument — matavimo priemonės patikra statusas Aprobuotas sritis Standartizacija ir metrologija apibrėžtis Kitokia negu tipo patvirtinimas procedūra, kuri apima tyrimą bei ženklinimą ir (arba) patikros sertifikato išdavimą ir kuria konstatuojama bei… …
74vérification d’un instrument de mesure — matavimo priemonės patikra statusas Aprobuotas sritis Standartizacija ir metrologija apibrėžtis Kitokia negu tipo patvirtinimas procedūra, kuri apima tyrimą bei ženklinimą ir (arba) patikros sertifikato išdavimą ir kuria konstatuojama bei… …
75vérification primitive — pirminė patikra statusas Aprobuotas sritis Standartizacija ir metrologija apibrėžtis Pagamintos ar sutaisytos matavimo priemonės patikra. atitikmenys: angl. iniatial verification vok. Ersteichung; erstmalige Eichung rus. первичная поверка pranc.… …
76vérification non-périodique — neeilinė patikra statusas Aprobuotas sritis Standartizacija ir metrologija apibrėžtis Naudojamų matavimo priemonių patikra anksčiau nustatyto termino. atitikmenys: angl. exceptional verification vok. außerplanmäßige Eichung rus. внеочередная… …
77verification certificate — patikros sertifikatas statusas Aprobuotas sritis Standartizacija ir metrologija apibrėžtis Dokumentas, kuriuo patvirtinama, kad matavimo priemonės patikros rezultatas patenkinamas. atitikmenys: angl. verification certificate rus. свидетельство о… …
78vérification périodique — periodinė patikra statusas Aprobuotas sritis Standartizacija ir metrologija apibrėžtis Naudojamos matavimo priemonės patikra laikantis nustatytų terminų. atitikmenys: angl. periodic verification vok. periodische Eichung; periodische Nacheichung… …
79vérification de données — duomenų patikrinimas statusas T sritis automatika atitikmenys: angl. data validation; data verification vok. Datenprüfung, f rus. проверка данных, f pranc. vérification de données, f …
80verification program — tikrinimo programa statusas T sritis automatika atitikmenys: angl. verification program; verifier vok. Prüfer, m; Verifizierer, m rus. программа контроля, f; программа проверки, f pranc. programme de vérification, m; programme vérificateur, m …
