The EuWireless book chapter “How Formal Methods can contribute to 5G Networks” was presented in the Colloquium in honour of Stefania Gnesi on 8 October 2019.
EuWireless Presentation in the Colloquium in Honour of Stefania Gnesi
EuWireless
European Mobile network operator for Research
EuWireless Presentation in the Colloquium in Honour of Stefania Gnesi