Model-in-the-Loop Testing of a Railway Interlocking System

Communications in Computer and Information Science - Model-Driven Engineering and Software Development ◽

10.1007/978-3-319-27869-8_22 ◽

2015 ◽

pp. 375-389 ◽

Cited By ~ 6

Author(s):

Fabio Scippacercola ◽

Roberto Pietrantuono ◽

Stefano Russo ◽

András Zentai

Download Full-text