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

doi:10.1016/j.ress.2003.09.002

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

Department of Computer Science and Engineering

Research output: Contribution to journal › Letter

1 Citation (Scopus)

Original language	English
Pages (from-to)	121-122
Number of pages	2
Journal	Reliability Engineering and System Safety
Volume	83
Issue number	1
DOIs	https://doi.org/10.1016/j.ress.2003.09.002
Publication status	Published - 2004 Jan 1

ASJC Scopus subject areas

Safety, Risk, Reliability and Quality
Industrial and Manufacturing Engineering

Access to Document

10.1016/j.ress.2003.09.002

Cite this

Kim, T., Cha, S., Son, H. S., & Seong, P. H. (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, 83(1), 121-122. https://doi.org/10.1016/j.ress.2003.09.002

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 › Letter

@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 = jan,

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 - Letter

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 -