Login / Signup

Model-based analysis of a protocol for reliable communication in railway worksites.

Leonardo MontecchiPaolo LolliniBoris MalinowskyJesper GrønbækAndrea Bondavalli
Published in: MSWiM (2012)
Keyphrases
  • data analysis
  • formal analysis
  • social networks
  • data sets
  • data mining
  • image analysis
  • statistical analysis
  • lightweight
  • information sharing
  • communication protocols