DSpace at KOASAS: Search

Results 1-3 of 3 (Search time: 0.006 seconds).

NO	Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date)
1	Modeling of computerized procedure execution with State Token Petri Net for formal verification of procedure flow Kim, Yun Goo; Seong, Poong Hyun, JOURNAL OF NUCLEAR SCIENCE AND TECHNOLOGY, v.49, no.1-2, pp.173 - 181, 2012-01
2	Optimization of automation: I. Estimation method of cognitive automation rates reflecting the effects of automation on human operators in nuclear power plants Lee, Seung Min; Kim, Jong Hyun; Seong, Poong Hyun, ANNALS OF NUCLEAR ENERGY, v.70, pp.48 - 55, 2014-08
3	Human error and the associated recovery probabilities for soft control being used in the advanced MCRs of NPPs Jang, Inseok; Jung, Wondea; Seong, Poong Hyun, ANNALS OF NUCLEAR ENERGY, v.87, pp.290 - 298, 2016-01

Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date)

Kim, Yun Goo; Seong, Poong Hyun, JOURNAL OF NUCLEAR SCIENCE AND TECHNOLOGY, v.49, no.1-2, pp.173 - 181, 2012-01

Lee, Seung Min; Kim, Jong Hyun; Seong, Poong Hyun, ANNALS OF NUCLEAR ENERGY, v.70, pp.48 - 55, 2014-08

Jang, Inseok; Jung, Wondea; Seong, Poong Hyun, ANNALS OF NUCLEAR ENERGY, v.87, pp.290 - 298, 2016-01

Discover

KOASAS