✦ LIBER ✦

Application of Verification and Validation on Safety Parameter Display Systems

✍ Scribed by Thomas, Nina C.

Book ID: 114662599
Publisher: IEEE
Year: 1983
Tongue: English
Weight: 997 KB
Volume: 30
Category: Article
ISSN: 0018-9499
DOI: 10.1109/tns.1983.4332372

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Guideline for verification and validatio

Guideline for verification and validation of safety related software — a report of a TC7 systems reliability, safety and security committee

📂 Article 📅 1984 🏛 Elsevier Science ⚖ 645 KB

On the validation and verification of pr

On the validation and verification of production systems: a graph reduction approach

✍ Stephen Murrell; Robert Plant 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 294 KB

This paper takes a parallel processing approach to the implementation of rule-based systems using a graph-reduction architecture , and investigates the consequences of this architecture in relation to the validation and verification of knowledge-based systems . The paper improves on the traditional

Guideline for verification and validatio

Guideline for verification and validation of safety-related software: Prepared by Committee TC 7 Systems Reliability, Safety & Security of the European Workshop on Industrial Computer Systems (EWICS)

📂 Article 📅 1985 🏛 Elsevier Science ⚖ 688 KB

Application of the yeast-surface-display

Application of the yeast-surface-display system for orally administered salmon calcitonin and safety assessment

✍ Ping-Nan Sun; Xue-Cheng Zhang; Yun-Song Chen; Xiao-Nan Zang 📂 Article 📅 2010 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 281 KB

Validation of parameters in HACCP verifi

Validation of parameters in HACCP verification using univariate and multivariate statistics. Application to the final phases of poultry meat production

✍ M.L González-Miret; M.T Coello; S Alonso; F.J Heredia 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 91 KB

[IEEE Second International Symposium on

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Context Awareness Systems Design and Reasoning

✍ Dong, Jin Song; Feng, Yuzhang; Sun, Jing; Sun, Jun 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 471 KB