Formal Analysis of 5G AKMA.

Tengshun Yang Shuling Wang Bohua Zhan Naijun Zhan Jinghui Li Shuangqing Xiang Zhan Xiang Bifei Mao

Published in: SETTA (2021)

Keyphrases

formal analysis
formal methods
agent model
database
artificial intelligence