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 17th International Conference on Risks and Security of Internet and Systems, CRiSIS 2022, which took place in Souss

This book provides a thorough overview of cutting-edge research on electronics applications relevant to industry, the environment, and society at large. It cove

The Railway Research Institute (Instytut Kolejnictwa) in Warsaw was established in 1951 and was, until 2000, part of the Polish State Railways (PKP). At present

This brochure describes the activities of the European Conference of Ministers of Transport (ECMT) during 2002. It also sets out the Resolutions approved by the