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.
Col·lecció de llibres:
Communications in Computer and Information Science

ISSN: 1865-0929

ISBN: 9783642453632

Any de publicació: 2013

Volum: 393 CCIS

Pàgines: 318-330

Tipus: Aportació congrés

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