Keywords
CalibrationConsistency (knowledge bases)CertificationA priori and a posterioriComputer scienceSet (abstract data type)Reliability engineeringMetrologyQuality (philosophy)Data miningControl (management)Systems engineeringIndustrial engineeringEngineeringArtificial intelligenceMathematicsStatistics
Affiliated Institutions
Related Publications
Methodological quality (risk of bias) assessment tools for primary and secondary medical studies: what are they and which is better?
Methodological quality (risk of bias) assessment is an important step before study initiation usage. Therefore, accurately judging study type is the first priority, and the choo...
Consensus statement for stability assessment and reporting for perovskite photovoltaics based on ISOS procedures
Improving the long-term stability of perovskite solar cells is critical to the deployment of this technology. Despite the great emphasis laid on stability-related investigations...
FPGA implementation of VXIbus interface hardware.
The HP E1399A development card is a B-size, register based device that can be used to simplify the development of simple, custom VXIbus instruments. The E1399A provides interfac...
Nonlinear Bayesian estimation using Gaussian sum approximations
Knowledge of the probability density function of the state conditioned on all available measurement data provides the most complete possible description of the state, and from t...
SANRA—a scale for the quality assessment of narrative review articles
Narrative reviews are the commonest type of articles in the medical literature. However, unlike systematic reviews and randomized controlled trials (RCT) articles, for which for...
Publication Info
- Year
- 1981
- Type
- article
- Volume
- 312
- Issue
- 2
- Pages
- 139-139
- Citations
- 82
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
82
OpenAlex
Cite This
D.J. Evans
(1981).
Computer logic, testing and verification.
Journal of the Franklin Institute
, 312
(2)
, 139-139.
https://doi.org/10.1016/0016-0032(81)90087-9
Identifiers
- DOI
- 10.1016/0016-0032(81)90087-9