MIGUEL
GÓMEZ-ZAMALLOA GIL
Profesor titular de universidad
![Foto de MIGUEL](/img/nophoto.png)
![Foto de University College London](/img/noimage_org.png)
University College London
Londres, Reino UnidoPublicacións en colaboración con investigadores/as de University College London (2)
2021
-
Actor-based model checking for Software-Defined Networks
Journal of Logical and Algebraic Methods in Programming, Vol. 118
2018
-
SDN-Actors: Modeling and verification of SDN programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)