Concepedia

Armando Lazzaro

AL

2

Publications

30

Citations

2

H-Index

2006

Active since

Affiliations

Ansaldo (Italy)(Current)

University of Naples Federico II

Armando Lazzaro is an author at Ansaldo (Italy) specializing in computer engineering, verification, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware TestingFormal VerificationSystems EngineeringComputer EngineeringMeasurementSafety Science

Publications per year

2006–2006

2

Publications

2

The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System

Pasquale di Tommaso, Francesco Flammini, Armando Lazzaro et al. · 2006 · 19 citations

Railway Traffic, Engineering, Measurement +19

UML Based Reverse Engineering for the Verification of Railway Control Logics

Angela Sanseviero, Nicola Mazzocca, P. Marmo et al. · 2006 · 11 citations

Engineering, Verification, Computer-aided Verification +24

Rows per page

1–2 of 2