Title: Verification and validation of the SAPHIRE version 4.0 PRA software package
Subjects: Nuclear reactors, Verification, Risk assessment, Data processing, Computer software, Nuclear power plants, Software