Login / Signup
Study on Formal Modeling and Safety Verification of Train-to-Train Communication.
Haonan Feng
Published in:
Wirel. Commun. Mob. Comput. (2018)
Keyphrases
</>
communication networks
databases
statistical analysis
real time
data sets
learning algorithm
experimental study
computer networks
formal model