Login / Signup

Practical Experience Report: Implementation, Verification and Validation of a Safe and Secure Communication Protocol for the Railway Domain.

Duccio BertieriTommaso ZoppiInnocenzo MungielloAndrea CeccarelliMario BarbareschiAndrea Bondavalli
Published in: LADC (2019)
Keyphrases
  • communication protocol
  • practical experience
  • cryptographic protocols
  • communication protocols
  • neural network
  • model checking
  • e learning
  • transfer learning
  • end to end