Publication | Closed Access

DYNSUB: A high fidelity coupled code system for the evaluation of local safety parameters – Part I: Development, implementation and verification

EngineeringSoftware SystemsVerificationSafety ScienceSoftware AnalysisFormal VerificationSafety-critical SystemSystems EngineeringCode SystemLocal Safety ParametersSoftware System SafetyHigh FidelityComputer EngineeringComputer ScienceSafety EngineeringProgram AnalysisFormal MethodsSafety SystemSystem Software