Concepedia

Angela Sanseviero

AS

2

Publications

30

Citations

2

H-Index

2006

Active since

Affiliations

University of Naples Federico II(Current)

Ansaldo (Italy)

Angela Sanseviero is an author at University of Naples Federico II 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