
Verification and validation of the SAPHIRE Version 4.0 PRA software package
Author(s) -
Thomas Bolander,
M.B. Calley,
E.L. Capps
Publication year - 1994
Language(s) - English
Resource type - Reports
DOI - 10.2172/10140203
Subject(s) - documentation , computer science , fault tree analysis , software engineering , correctness , reliability engineering , verification and validation , probabilistic risk assessment , traceability , engineering , probabilistic logic , programming language , artificial intelligence , operations management