A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard Academic Article

authors

publication date

October 26, 2019

published in

International Journal on Software Tools for Technology Transfer Journal

Digital Object Identifier (DOI)

https://doi.org/10.1007/s10009-019-00543-1

has global citation frequency

https://vivo.tib.eu/demo/individual/gcf_W2981584093 Global Citation Count

start page

333

end page

347

volume

22

issue

3