Sign in

A comprehensive formal analysis of 5G handover.

Aleksi PeltonenRalf SasseDavid A. Basin
Published in: WISEC (2021)
Keyphrases
  • formal analysis
  • formal methods
  • ban logic
  • information systems
  • agent model
  • mobile communication
  • database