Conception of a formal model-based methodology to support railway engineers in the specification and verification of interlocking systems.

Gbor Lukcs, Tams Bartha

Browse the full SACI paper archive.