Formalizing Complex Event Processing Systems in Maude
- Burgueño, L.
- Boubeta-Puig, J.
- Vallecillo, A.
Aldizkaria:
IEEE Access
ISSN: 2169-3536
Argitalpen urtea: 2018
Alea: 6
Orrialdeak: 23222-23241
Mota: Artikulua