Studium matematických metod použitelných v modelování bezpečnosti železničních zabezpečovacích zařízení
