Results 311 to 320 of about 430,799 (337)
Some of the next articles are maybe not open access.
Development Trends of Mobile Communication Systems for Railways
IEEE Communications Surveys and Tutorials, 2018Rui Chen +3 more
semanticscholar +1 more source
Adopting Formal Methods in an Industrial Setting: The Railways Case
World Congress on Formal Methods, 2019M. T. Beek +6 more
semanticscholar +1 more source
Survey on Formal Methods and Tools in Railways: The ASTRail Approach
International Conference on Reliability, Safety, and Security of Railway Systems, 2019Alessio Ferrari +7 more
semanticscholar +1 more source

