Formalizing Complex Event Processing Systems in Maude

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

ISSN: 2169-3536

Datum der Publikation: 2018

Ausgabe: 6

Seiten: 23222-23241

Art: Artikel

DOI: 10.1109/ACCESS.2018.2831185 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus