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 journalLetterpeer-review

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

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

Cite this