Checking the European Railways Traffic Management System (ERTMS) operating rules using UML and the B method
Keyword(s):
B Method
◽
2010 ◽
Vol 6
(2)
◽
pp. 172-179
◽
2019 ◽
Vol 7
(1)
◽
pp. 39
2020 ◽
Vol 8
(5)
◽
pp. 2170-2176
Keyword(s):