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

Ano de publicación: 2021

Volume: 118

Tipo: Artigo

DOI: 10.1016/J.JLAMP.2020.100617 GOOGLE SCHOLAR

Obxectivos de Desenvolvemento Sustentable

Fonte de datos: Scopus