Reliability analysis and safety model checking of Safety-Critical and control Systems: A case study of NPP control system
Keyword(s):
Keyword(s):
2018 ◽
Vol 7
(2.12)
◽
pp. 248
Keyword(s):
2017 ◽
Vol 197
(3)
◽
pp. 296-307
◽
Keyword(s):
2019 ◽
Vol 36
(1)
◽
pp. 340-353
◽
Keyword(s):
2014 ◽
Vol 43
◽
pp. 10-22
◽
Keyword(s):
Keyword(s):