Login / Signup
Armando Lazzaro
Publication Activity (10 Years)
Years Active: 2005-2012
Publications (10 Years): 0
Top Topics
Formal Verification
Temporal Logic
Model Validation
Industrial Applications
Top Venues
CAV
</>
Publications
</>
Alessandro Cimatti
,
Raffaele Corvino
,
Armando Lazzaro
,
Iman Narasamdya
,
Tiziana Rizzo
,
Marco Roveri
,
Angela Sanseviero
,
Andrei Tchaltsev
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System.
CAV
(2012)
Chiara Abbaneo
,
Francesco Flammini
,
Armando Lazzaro
,
Pietro Marmo
,
Nicola Mazzocca
,
Angela Sanseviero
UML Based Reverse Engineering for the Verification of Railway Control Logics.
DepCoS-RELCOMEX
(2006)
Pasquale di Tommaso
,
Francesco Flammini
,
Armando Lazzaro
,
Raffaele Pellecchia
,
Angela Sanseviero
The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System.
HASE
(2005)