Advanced
Insert title here
 Search Results
KEYWORD_EN:Mathematical models 1 result(s) found
 
1. Mathematical Verification of a Nuclear Power Plant Protection System Function with Combined CPN and PVS

Koo, Seo-Ryong;Son, Han-Seong;Seong, Poong-Hyun;
Nuclear Engineering and Technology, vol. 31, iss. 2, 1999, pp. 157-171
  • 1