European railways are characterized by a huge and contrasting range of locomotives, liveries, rolling stock, stations and infrastructure. In addition, the netwo

This book examines the problem of interoperability related to operating rules and gives an overview of the formal method approaches related to this subject. The

This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verifica

This thesis can be divided into two parts. In Part I we are dealing with the problem of finding optimal time intervals for carrying out routine maintenance work

This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held