Skip to search formSkip to main contentSkip to account menu

Verification and validation

Known as: Verfiable, VV, Operational qualification 
Verification and validation are independent procedures that are used together for checking that a product, service, or system meets requirements and… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Acceptance testingAgent-based modelAuthenticationBIOS

Broader (1)

Systems engineering

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Adaptive Management of Virtualized Resources in Cloud Computing Using Feedback Control
Cloud computing as newly emergent computing environment offers dynamic flexible infrastructures and QoS guaranteed services in… 
Highly Cited
2006
Highly Cited
2006
Model Checking Russian Cards
Highly Cited
2005
Highly Cited
2005
Hierarchical interface-based supervisory control-part II: parallel case
In this paper, we present a hierarchical method that decomposes a discrete-event system (DES) into a high-level subsystem which… 
Highly Cited
2000
Highly Cited
2000
iCAR: an integrated cellular and ad-hoc relay system
  • C. QiaoHongyi Wu
  • Proceedings Ninth International Conference on…
  • 2000
  • Corpus ID: 8099002
Ever increasing data traffic and limited capacity are major causes for congestion in current cellular systems. This paper… 
Highly Cited
1996
Highly Cited
1996
Modeling and control of a multi-phase induction machine with structural unbalance part II. Field-oriented control and experimental verification
Field-oriented control techniques for a multi-phase induction machine with an unbalanced stator winding structure is presented in… 
Highly Cited
1995
Highly Cited
1995
Advanced Verification Techniques Based on Learning
Design verification poses a very practical problem during circuit synthesis. Learning based verification techniques prove to be… 
Highly Cited
1994
Highly Cited
1994
A new statistical model for traffic generated by VBR coders for television on the broadband ISDN
Many techniques have been proposed for modeling source rates generated by variable bit rate video coders. However, little work… 
Highly Cited
1983
Highly Cited
1983
Testing by Verifying Walsh Coefficients
Testing of logic networks by verifying the Walsh coefricients of the outputs is explored. Measurement of one of these can detect… 
Highly Cited
1972
Highly Cited
1972
A Note on Three-Valued Logic Simulation
In this note we discuss a few attributes and pitfalls of three-valued (0, 1, u) digital logic simulation. The areas covered… 
Highly Cited
1965
Highly Cited
1965
Effect of a finite-word-length computer in a sampled-data feedback system
When a digital computer acts as the compensating element of a sampled-data feedback system, the system performance is degenerated… 
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)