Abstract: Flexible traction power supply system (FTPSS) can eliminate neutral sections of all catenaries and improve the poor power quality of railway substations. The static power converter (SPC) is ...
Abstract: In this paper we survey static analysis methods for identifying security vulnerabilities in software systems. We cover three areas that have been associated with sources of security ...