Arturo Amendola is an author at Ansaldo (Italy) specializing in engineering, software testing, and computer engineering.
Top concepts
EngineeringVerificationSoftware TestingFormal VerificationSystems EngineeringComputer EngineeringReliability EngineeringReliabilitySafety ScienceControl Systems
Publications per year
2002–2021
5
5
Seyed Abolfazl Mortazavizadeh, Simone Palazzo, Arturo Amendola et al. · Applied Sciences · 2021 · 35 citations · Full text
Converter Structure, Electrical Engineering, Engineering +15
Experimental evaluation of computer-based railway control systems
Arturo Amendola, L. Impagliazzo, P. Marmo et al. · 2002 · 31 citations
An automatic SPIN validation of a safety critical railway control system
Stefania Gnesi, Gabriele Lenzini, Diego Latella et al. · 2002 · 22 citations · Full text
Short Circuit Modelling and Simulation of 2×25 kV High Speed Railways
L. Battistelli, Mario Pagano, Daniela Proto et al. · 2008 · 11 citations
Architecture and safety requirements of the ACC railway interlocking system
Arturo Amendola, L. Impagliazzo, P. Marmo et al. · 2002 · 11 citations
Rows per page
1–5 of 5