Login / Signup
Model-based analysis of a protocol for reliable communication in railway worksites.
Leonardo Montecchi
Paolo Lollini
Boris Malinowsky
Jesper Grønbæk
Andrea 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