Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things
- González, L.
- Cubo, J.
- Brogi, A.
- Pimentel, E.
- Ruggia, R.
ISSN: 1865-0929
ISBN: 9783642453632
Año de publicación: 2013
Volumen: 393 CCIS
Páginas: 318-330
Tipo: Aportación congreso