Sign in
Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System.
Marco Carloni
Orlando Ferrante
Alberto Ferrari
Gianpaolo Massaroli
Antonio Orazzo
Ida Petrone
Luigi Velardi
Published in:
SAFECOMP Workshops (2014)
Keyphrases
</>
image analysis
statistical analysis
data sets
neural network
data acquisition
search engine
monitoring system
control method