Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,716,044 papers from all fields of science
Search
Sign In
Create Free Account
Verification and validation
Known as:
Verfiable
, VV
, Operational qualification
Expand
Verification and validation are independent procedures that are used together for checking that a product, service, or system meets requirements and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Acceptance testing
Agent-based model
Authentication
BIOS
Expand
Broader (1)
Systems engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Combining Iris and Periocular Recognition Using Light Field Camera
Ramachandra Raghavendra
,
K. Raja
,
Bian Yang
,
C. Busch
2nd IAPR Asian Conference on Pattern Recognition
2013
Corpus ID: 11072438
Iris and Periocular biometrics has proved its effectiveness in accurately verifying the subject of interest. Recent improvements…
Expand
Highly Cited
2010
Highly Cited
2010
Use of spin traps to measure the addition and fragmentation rate coefficients of small molecule RAFT-adduct radicals†
E. Chernikova
,
V. B. Golubev
,
Anatoly Nikolaevich Filippov
,
C. Lin
,
M. Coote
2010
Corpus ID: 34927694
Spin traps have been used to obtain the first direct experimental determination of the addition (5 × 106 L mol−1 s−1…
Expand
2010
2010
Statistical Background Modeling: An Edge Segment Based Moving Object Detection Approach
Mahbub Murshed
,
Adín Ramírez Rivera
,
O. Chae
7th IEEE International Conference on Advanced…
2010
Corpus ID: 23744694
We propose an edge segment based statistical backgroundmodeling algorithm and a moving edge detectionframework for the detection…
Expand
Review
2007
Review
2007
Exploring forecasting and project management characteristics of supply chain management
Alan D. Smith
,
O. Offodile
2007
Corpus ID: 167843492
Effective forecasting with the framework of Supply Chain Management (SCM) requires precise and decisive strategic leadership…
Expand
2002
2002
XmdvTool: visual interactive data exploration and trend discovery of high-dimensional data sets
Elke A. Rundensteiner
,
M. Ward
,
Jing Yang
,
Punit R. Doshi
ACM SIGMOD Conference
2002
Corpus ID: 1516624
Multi-dimensional data is being generated at an ever increasing rate in practically all modern applications. The development of…
Expand
2000
2000
AQUILA: An Equivalence Checking System for Large Sequential Designs
Shi-Yu Huang
,
K. Cheng
,
Kuang-Chien Chen
,
C. Huang
,
F. Brewer
IEEE Trans. Computers
2000
Corpus ID: 9625807
In this paper, we present a practical method for verifying the functional equivalence of two synchronous sequential designs. This…
Expand
1998
1998
Doing Requirements Right the First Time
Theodore Hammer
,
L. Huffman
,
L. Rosenberg
1998
Corpus ID: 17178920
The criticality of correct, complete, testable requirements is a fundamental tenet of software engineering. The success of a…
Expand
1993
1993
Feminism and International Law: A Reply
Fernando R. Tesón
1993
Corpus ID: 148901237
Highly Cited
1984
Highly Cited
1984
Design and Application of Self-Testing Comparators Implemented with MOS PLA's
Y. Tamir
,
C. Séquin
IEEE transactions on computers
1984
Corpus ID: 11137821
A high probability of detecting errors caused by hardware faults is an essential property of any fault-tolerant system. VLSI…
Expand
Highly Cited
1976
Highly Cited
1976
Sugarbeet Yield and Quality as Affected by Nitrogen Level
J. Carter
,
D. Westermann
,
M. Jensen
1976
Corpus ID: 39721527
This study was conducted, under several climatic and soil conditions, to determine the effect of N level on sugarbeet yield and…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE
or Only Accept Required