Formalizing Complex Event Processing Systems in Maude

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

ISSN: 2169-3536

Año de publicación: 2018

Volumen: 6

Páginas: 23222-23241

Tipo: Artículo

DOI: 10.1109/ACCESS.2018.2831185 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus