Dependability Evaluation of Real Railway Interlocking Device.

Radek Dobias, Jan Konarski, Hana Kubtov

Browse the full DSD paper archive.