Showing results 1 to 1 of 1
Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application Son, HS; Seong, Poong-Hyun, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.80, no.1, pp.19 - 32, 2003-04 |
Discover