Open AccessIndependent Verification and Validation Of SAPHIRE 8 Volume 3 Users' Guide Project Number: N6423 U.S. Nuclear Regulatory Commission
Author(s) -
Kent Norris
Publication year - 2010
Language(s) - English
Resource type - Reports
DOI - 10.2172/974769
Subject(s) - correctness , documentation , software engineering , computer science , verification and validation , consistency (knowledge bases) , software , completeness (order theory) , software verification , database , programming language , software development , software construction , engineering , mathematics , mathematical analysis , operations management , artificial intelligence