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 journalArticle

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

@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

VL - 83

SP - 121

EP - 122

JO - Reliability Engineering and System Safety

JF - Reliability Engineering and System Safety

SN - 0951-8320

IS - 1

ER -