Verification Method of Software for Microprocessor-Based Protection System of Nuclear Power Plants
1989 ◽
Vol 26
(3)
◽
pp. 313-320
Keyword(s):
Keyword(s):
2017 ◽
Vol 05
(04)
◽
pp. 1-11
Keyword(s):
2010 ◽
Vol 240
(10)
◽
pp. 2963-2971
◽
Keyword(s):
1998 ◽
Vol 42
(10)
◽
pp. 737-739
◽
Keyword(s):
2013 ◽
Vol 265
◽
pp. 932-937
◽
2013 ◽
Vol 2013
◽
pp. 1-5
◽
2017 ◽
Vol 23
(6)
◽
pp. 335-342
Keyword(s):