A comprehensive formal analysis of 5G handover.

Aleksi Peltonen Ralf Sasse David A. Basin

Published in: WISEC (2021)

Keyphrases

formal analysis
formal methods
ban logic
information systems
agent model
mobile communication
database