Dolores Burgueño Caballero-rekin lankidetzan egindako argitalpenak (1)

2018

  1. Formalizing Complex Event Processing Systems in Maude

    IEEE Access, Vol. 6, pp. 23222-23241