Actor-based model checking for Software-Defined Networks

  1. Albert, E.
  2. Gómez-Zamalloa, M.
  3. Isabel, M.
  4. Rubio, A.
  5. Sammartino, M.
  6. Silva, A.
Revista:
Journal of Logical and Algebraic Methods in Programming

ISSN: 2352-2216 2352-2208

Año de publicación: 2021

Volumen: 118

Tipo: Artículo

DOI: 10.1016/J.JLAMP.2020.100617 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible