Comment on: Development of a safety critical software requirements verification method with combined CPN and PVS: A nuclear power plant protection system application (multiple letters)

Taeho Kim, Sungdeok Cha, Han Seong Son, Poong Hyun Seong

Research output: Contribution to journal › Article

1 Citation (Scopus)
Original languageEnglish
Pages (from-to)121-122
Number of pages2
JournalReliability Engineering and System Safety
Volume83
Issue number1
DOIs
Publication statusPublished - 2004 Jan 1
Externally publishedYes

Fingerprint

Nuclear power plants

ASJC Scopus subject areas

  • Mechanical Engineering
  • Safety, Risk, Reliability and Quality

Cite this

Comment on : Development of a safety critical software requirements verification method with combined CPN and PVS: A nuclear power plant protection system application (multiple letters). / Kim, Taeho; Cha, Sungdeok; Son, Han Seong; Seong, Poong Hyun.

In: Reliability Engineering and System Safety, Vol. 83, No. 1, 01.01.2004, p. 121-122.

Research output: Contribution to journal › Article

Kim, T, Cha, S, Son, HS & Seong, PH 2004, 'Comment on: Development of a safety critical software requirements verification method with combined CPN and PVS: A nuclear power plant protection system application (multiple letters)', Reliability Engineering and System Safety, vol. 83, no. 1, pp. 121-122. https://doi.org/10.1016/j.ress.2003.09.002
Kim T, Cha S, Son HS, Seong PH. Comment on: Development of a safety critical software requirements verification method with combined CPN and PVS: A nuclear power plant protection system application (multiple letters). Reliability Engineering and System Safety. 2004 Jan 1;83(1):121-122. https://doi.org/10.1016/j.ress.2003.09.002
Kim, Taeho ; Cha, Sungdeok ; Son, Han Seong ; Seong, Poong Hyun. / Comment on : Development of a safety critical software requirements verification method with combined CPN and PVS: A nuclear power plant protection system application (multiple letters). In: Reliability Engineering and System Safety. 2004 ; Vol. 83, No. 1. pp. 121-122.
@article{b30af4ad88ae4d3f9c546375ee0ccb5a,
title = "Comment on: Development of a safety critical software requirements verification method with combined CPN and PVS: A nuclear power plant protection system application (multiple letters)",
author = "Taeho Kim and Sungdeok Cha and Son, {Han Seong} and Seong, {Poong Hyun}",
year = "2004",
month = "1",
day = "1",
doi = "10.1016/j.ress.2003.09.002",
language = "English",
volume = "83",
pages = "121--122",
journal = "Reliability Engineering and System Safety",
issn = "0951-8320",
publisher = "Elsevier Limited",
number = "1",

}

TY - JOUR

T1 - Comment on

T2 - Development of a safety critical software requirements verification method with combined CPN and PVS: A nuclear power plant protection system application (multiple letters)

AU - Kim, Taeho

AU - Cha, Sungdeok

AU - Son, Han Seong

AU - Seong, Poong Hyun

PY - 2004/1/1

Y1 - 2004/1/1

UR - http://www.scopus.com/inward/record.url?scp=0242522998&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0242522998&partnerID=8YFLogxK

U2 - 10.1016/j.ress.2003.09.002

DO - 10.1016/j.ress.2003.09.002

M3 - Article

AN - SCOPUS:0242522998

VL - 83

SP - 121

EP - 122

JO - Reliability Engineering and System Safety

JF - Reliability Engineering and System Safety

SN - 0951-8320

IS - 1

ER -

Access to Document