An experiment in using RT-LOTOS for the formal specification and verification of a distributed scheduling algorithm in a nuclear power plant monitoring system
Keyword(s):
Keyword(s):
2003 ◽
Vol 43
(1-4)
◽
pp. 397-404
◽
1985 ◽
Vol PAS-104
(2)
◽
pp. 241-248
Keyword(s):
Keyword(s):
2017 ◽
Vol 114
(42)
◽
pp. 11092-11096
◽
Keyword(s):
2021 ◽
Vol 23
(3)
◽
pp. 91
Keyword(s):