Vol-2802⫷ Vol-2803 ⫸Vol-2804
urn:nbn:de:0074-2803-0


Vol-2803/paper21⫷Vol-2803/paper22⫸Vol-2803/paper23
Michael N. VasilenkoPeter A. VasilenkoValentin A. Hodakovskij

Synthesis of safety functions for railway automation and telemechanics systems (short paper)