MIGUEL
GÓMEZ-ZAMALLOA GIL
Profesor titular de universidad
University College London
Londres, Reino UnidoPublicacions en col·laboració amb investigadors/es 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)