Industrial Application of Event-B to a Wayside Train Monitoring System: Formal Conceptual Data Analysis.

Robert Eschbach

Browse the full FM paper archive.