( en | de | ru )

 

Disambiguation of "Seong, Poong Hyun"

Author of the publication

copydeleteadd this publication to your clipboard
Experimental Effect Estimation of an Integrated Decision Support System to Aid Operator's Cognitive Activities for Nuclear Power Plants.

, and . HCI (4), volume 4553 of Lecture Notes in Computer Science, page 620-628. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hee Hyun

Ki-Chang Seong

Tae Kyung Hyun

Seunghyeon Seong

Hey-Woun Hyun

 

Other publications of authors with the same name

Reply to "Comment on: Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application"., and . Reliab. Eng. Syst. Saf., 83 (1): 123 (2004)How to evaluate effectiveness in monitoring and detection tasks in nuclear power plants?, and . IFAC HMS, page 298-303. International Federation of Automatic Control, (2007)A Framework of Human Reliability Analysis Method Considering Soft Control in Digital Main Control Rooms., , , and . HCI (13), volume 8522 of Lecture Notes in Computer Science, page 335-346. Springer, (2014)A Novel Monitoring System for the Data Integrity of Reactor Protection System Using Blockchain Technology., , and . IEEE Access, (2020)Reliability of the system with loops: Factor graph based approach., , and . Reliab. Eng. Syst. Saf., (2021)Experimental Effect Estimation of an Integrated Decision Support System to Aid Operator's Cognitive Activities for Nuclear Power Plants., and . HCI (4), volume 4553 of Lecture Notes in Computer Science, page 620-628. Springer, (2007)A method of formal requirement analysis for NPP I&C systems based on UML modeling with software cost reduction., , and . J. Syst. Softw., 67 (3): 213-224 (2003)Development of a Verification Method for Timed Function Blocks Using ESDT and SMV., , and . HASE, page 285-286. IEEE Computer Society, (2004)Verification method for the FBD-style design specification using SDT and SMV., , and . IASTED Conf. on Software Engineering, page 206-211. IASTED/ACTA Press, (2004)An integrated environment of S/W specification and V&V for safety-critical systems., , , , , and . IASTED Conf. on Software Engineering, page 607-612. IASTED/ACTA Press, (2004)