Login / Signup

Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System.

Marco CarloniOrlando FerranteAlberto FerrariGianpaolo MassaroliAntonio OrazzoIda PetroneLuigi Velardi
Published in: SAFECOMP Workshops (2014)
Keyphrases
  • image analysis
  • statistical analysis
  • data sets
  • neural network
  • data acquisition
  • search engine
  • monitoring system
  • control method