Applying guidelines for system modelling in Event-B - a systematic literature review
2020 ◽
Vol 10
(1)
◽
pp. 1
2019 ◽
Vol 18
(6)
◽
pp. 3207-3233
◽
2019 ◽
Vol 12
(3)
◽
pp. 280-295
◽
2018 ◽
Vol 19
(4)
◽
pp. 600-611
◽
Keyword(s):