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

Do you enjoy running model trains but want to improve your layout? Do you want to gain expertise over a wider range of railway modelling skills and acquire 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