How Formal Methods Can Contribute to 5G Networks. María-del-Mar Gallardo, F Luque-Schempp, PM Gómez, L Panizo From Software Engineering to Formal Methods and Tools, and Back, 548-571, 2019 | 4 | 2019 |
How Formal Methods Can Contribute to 5G Networks MM Gallardo, F Luque-Schempp, P Merino-Gómez, L Panizo From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019 | 2 | 2019 |