MIGUEL
GÓMEZ-ZAMALLOA GIL
Profesor titular de universidad
University College London
Londres, Reino UnidoUniversity College London-ko ikertzaileekin lankidetzan egindako argitalpenak (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)