European Train Control System: A Case Study in Formal Verification.

Andr Platzer, Jan-David Quesel

Browse the full ICFEM paper archive.