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)

Fingerprint

Dive into the research topics of '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)'. Together they form a unique fingerprint.