机译:制定用于计算核系统热流体行为的软件的验证和确认标准
Richard Schultz1, Edwin Harvego1 & Ryan Crane21 Idaho National Laboratory, 2 ASME;
机译:制定核查和验证核系统热流体软件的共识标准
机译:使用基于模型的方法对核电厂安全系统软件的验证和确认进行IEEE 1012和IEC 60880标准的协调
机译:IEEE系统和软件验证与确认标准(IEEE Std 1012-2012)
机译:用于计算核系统热流体行为的软件验证和验证标准的开发
机译:在软件密集型系统中自动验证行为规范。
机译:没有黄金标准的生物信息学软件的验证和确认:BWA和Bowtie的案例研究
机译:开发用于计算核系统热流动行为的软件验证和验证的标准