A Model-Based Methodology to Formalize Specifications of Railway Systems
2020 ◽
Vol 2674
(5)
◽
pp. 662-672
Keyword(s):
2015 ◽
Vol 16
(5)
◽
pp. 3071-3080