Formalizing Complex Event Processing Systems in Maude

  1. Burgueño, L.
  2. Boubeta-Puig, J.
  3. Vallecillo, A.
Revista:
IEEE Access

ISSN: 2169-3536

Ano de publicación: 2018

Volume: 6

Páxinas: 23222-23241

Tipo: Artigo

DOI: 10.1109/ACCESS.2018.2831185 GOOGLE SCHOLAR lock_openAcceso aberto editor
Fonte de datos: Scopus