5.-6. Oktober 2021 digital New, digital technologies should make the railways more efficient and reliable. The use of these systems in safety-critical applications also requires new procedures for their verification ...