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 journalLetter

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

ASJC Scopus subject areas

  • Safety, Risk, Reliability and Quality
  • Industrial and Manufacturing Engineering

Cite this