"3+3 process" for safety critical software for I&C system in nuclear power plants /

Côd QR

"3+3 process" for safety critical software for I&C system in nuclear power plants /

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Jung, Jae-Cheon.
Awduron Eraill:	Chang, Hoon-Sun., Kim, Hang-Bae.
Fformat:	Erthygl
Iaith:	English
Pynciau:	Model driven architecture Safety analysis Safety critical software Validation Verification
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Eitemau Tebyg

Assessment of CFD codes used in nuclear reactor safety simulations /
gan: Smith, B.L..

Process and Plant Safety
gan: Hauptmanns, Ulrich
Cyhoeddwyd: (2015)

Current status and prospect for periodic safety review of aging nuclear power plants in Korea /

From Requirements to Java in a Snap
gan: Smialek, Michal, et al.
Cyhoeddwyd: (2015)

Nuclear Power Plant Emergencies in the USA. 1st ed. 2017
gan: Kyne, Dean
Cyhoeddwyd: (2020)

Safety assessment of Korean nuclear facilities : Current status and future /
gan: Baek, Won-Pil.

Radiation safety in nuclear medicine
gan: Lombardi, Max H
Cyhoeddwyd: (2014)

An axiomatic design approach of nanofluid-engineered nuclear safety features for generation III+ react /

Electrical safety handbook
gan: Cadick, John
Cyhoeddwyd: (2000)

Electrical safety handbook
Cyhoeddwyd: (2012)

Preparation of Vietnam road safety project - phase 1 :
Cyhoeddwyd: (2004)

Preparation of Vietnam road safety project - phase 1 :
Cyhoeddwyd: (2004)

Food safety handbook
gan: Ronald H. Schmidt
Cyhoeddwyd: (2003)

Know about Safety
Cyhoeddwyd: (2003)

Introduction to Radiation Safety
gan: NDT Resource Center
Cyhoeddwyd: (2013)

Chemical Food Safety
gan: Brimer, Leon
Cyhoeddwyd: (2014)

Handbook of System Safety and Security: Cyber Risk and Risk Management, Cyber Security, Threat Analysis, Functional Safety, Software Systems and Cyber Physical Systems
gan: Edward, Griffor
Cyhoeddwyd: (2023)

Automobiles and road traffic safety

Chemical process safety : fundamentals with applications /
gan: Crowl, Daniel A.
Cyhoeddwyd: (2002)

Development of best practice guidelines for CFD in nuclear reactor safety /
gan: Mahaffy, J.

Risk and Safety Analysis of Nuclear Systems
gan: Lee, John C, et al.
Cyhoeddwyd: (2014)

Chemical process safety fundamentals with applications
gan: Crowl, Daniel A.
Cyhoeddwyd: (2002)

Chemical process safety: Fundamentals with applications
gan: Daniel A. Crowl
Cyhoeddwyd: (2002)

FAO/WHO global forum of food safety regulators
Cyhoeddwyd: (2002)

FMI retail best practices food safety basics :
Cyhoeddwyd: (2003)

Industrial Safety Management. 1st ed. 2018
gan: Maiti, J, et al.
Cyhoeddwyd: (2020)

Towards a Model for Integrating Process Verification in Process-Driven Application Development
gan: Nguyen, Thanh Tuan, et al.
Cyhoeddwyd: (2025)

Psam6 6th international conference on probabilistic safety assessment
Cyhoeddwyd: (2002)

Nuclear Power Plants: Innovative Technologies for Instrumentation and Control Systems
gan: Xu, Yang, et al.
Cyhoeddwyd: (2020)

A validation method for emergency operating procedures of nuclear power plants based on dynamic multi-level flow modeling /
gan: Qin, Wei.

Consmer Product Safety Law
Cyhoeddwyd: (1979)

The new tyranny : how nuclear power enslaves us
gan: Jungk, Robetrt
Cyhoeddwyd: (1979)

Safety evaluation of certain mycotoxins in food
Cyhoeddwyd: (2001)

Modern safety and resource control management /
gan: Schneid, Thomas D.
Cyhoeddwyd: (2000)

Practical industrial safety, risk assessment and shutdown systems for industry
gan: Macdonald, Dave
Cyhoeddwyd: (2004)

Essentials of food safety and sanitation /
gan: McSwane, David Zachary.
Cyhoeddwyd: (2000)

Highway design and traffic safety engineering handbook /
gan: Lamm, Ruediger.
Cyhoeddwyd: (1999)

Aflatoxin and food safety
gan: Abbas, Hamed K.
Cyhoeddwyd: (2005)

Chemical process safety : learning from case histories /
gan: Sanders, R. E.
Cyhoeddwyd: (1999)

Safety, dependability and performance analysis of extended AADL models /