Will SDN Be Part of 5G?

Zainab R. Zaidi Vasilis Friderikos Faqir Zarrar Yousaf Simon Fletcher Mischa Dohler Hamid Aghvami

Published in: IEEE Commun. Surv. Tutorials (2018)

Keyphrases

process algebra
formal specification
model checking
case study
data model
machine learning
artificial intelligence
general purpose
response time
temporal logic
communication protocols
concurrent systems