Publicacións en colaboración con investigadores/as de Universidad de la República (2)

2014

  1. Dynamic verification of mashups of service-oriented things through a mediation platform

    Journal of Universal Computer Science, Vol. 20, Núm. 8, pp. 1049-1070

2013

  1. Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things

    Communications in Computer and Information Science