Formalizing Complex Event Processing Systems in Maude

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

ISSN: 2169-3536

Année de publication: 2018

Volumen: 6

Pages: 23222-23241

Type: Article

DOI: 10.1109/ACCESS.2018.2831185 GOOGLE SCHOLAR lock_openAccès ouvert editor
La source de données: Scopus