Comment on: development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application
Taeho Kim, Sungdeok ChaVolume:
83
Year:
2004
Language:
english
Pages:
2
DOI:
10.1016/j.ress.2003.09.002
File:
PDF, 111 KB
english, 2004