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

  1. González, L.
  2. Cubo, J.
  3. Brogi, A.
  4. Pimentel, E.
  5. Ruggia, R.
Colección de libros:
Communications in Computer and Information Science

ISSN: 1865-0929

ISBN: 9783642453632

Año de publicación: 2013

Volumen: 393 CCIS

Páginas: 318-330

Tipo: Aportación congreso

DOI: 10.1007/978-3-642-45364-9_26 GOOGLE SCHOLAR