Automatic Fault-Tree Generation as a Support for Safety Studies of Railway Interlocking Systems

Szabó, G. [Szabó, Géza (Közlekedés- és Já...), author]; G., Tarnai [Tarnai, Géza (közlekedéstudomány), author] Budapest University of Technology