Formal software inspections: An industrial application of Function Tables and Event-B to software of a Wayside Train Monitoring system
2020
Conference paper
English
Wayside train monitoring systems - an overview
Tema Archive | 2011
|Wayside train monitoring systems - an overview
IuD Bahn | 2011
|Wayside Train Monitoring: Erfahrungen mit dem Argos-System
Online Contents | 2012
|Wayside Train Monitoring: Erfahrungen mit dem Argos-System
IuD Bahn | 2012
|Wayside train monitoring systems on the move
IuD Bahn | 2011
|