Application of TLA+ notation for describing the model of isolated program environment of subjects and it’s further verification
Keyword(s):
2020 ◽
Vol 25
(2)
◽
pp. 183-188
2017 ◽
Vol 85
(1)
◽
pp. 82-88
Keyword(s):
Keyword(s):
2019 ◽
Vol 49
(5)
◽
pp. 1853-1862
◽
Keyword(s):
2018 ◽
Vol 63
(1)
◽
pp. 77-85
2006 ◽
Vol 15
(s1)
◽
pp. 102-112
◽