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

Research output: Contribution to journal › Letter › peer-review

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
Externally published	Yes

Bibliographical note

Funding Information:
This work was partially supported by the Korea Science and Engineering Foundation through the Advanced Information Technology Research Center.

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

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 et al.
In: Reliability Engineering and System Safety, Vol. 83, No. 1, 01.2004, p. 121-122.

Research output: Contribution to journal › Letter › peer-review

@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}",

note = "Funding Information: This work was partially supported by the Korea Science and Engineering Foundation through the Advanced Information Technology Research Center.",

year = "2004",

month = jan,

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 Ltd",

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

N1 - Funding Information: This work was partially supported by the Korea Science and Engineering Foundation through the Advanced Information Technology Research Center.

PY - 2004/1

Y1 - 2004/1

UR - http://www.scopus.com/inward/record.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

SN - 0951-8320

VL - 83

SP - 121

EP - 122

JO - Reliability Engineering and System Safety

JF - Reliability Engineering and System Safety

IS - 1

ER -

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)

Bibliographical note

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this