Model-based test generation techniques verifying the on-board module of a satellite-based train control system model
Keyword(s):
2016 ◽
Vol 145
◽
pp. 169-182
◽
Keyword(s):
Keyword(s):
2011 ◽
Vol 84-85
◽
pp. 183-187
◽
2016 ◽
Vol 17
(7)
◽
pp. 573-584
2002 ◽
Vol 38
(01)
◽
pp. 13
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):