Monoprocessed computer architecture for safety critical applications
Safety and reliability assessment using fuzzy theory applied to a subway system
Arc extinction time caused by contact loss of pantographs under high voltage bus cables
Formalization of digital circuits using the B method
An operation and maintenance perspective of low speed Maglev applications
Robust control of the contact force of an asymmetric pantograph
Construction method of mobile network including on-board subnetworks
Application of Bluetooth technology to railway systems
Management and communication of data on board of the vehicles of the Italian railway
Improve the safety of maintenance work on the railway using computer
An algorithm for train-set scheduling based on probabilistic local search
Shortening total trip time by short station dwell time and passing local trains