Design of signal control structures using formal methods for railway interlocking systems.

Oytun Eris, Ilhan Mutlu

Browse the full ICARCV paper archive.