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

Laura González, Javier Cubo, Antonio Brogi, Ernesto Pimentel, Raúl Ruggia
January 2013
Cite DOI
Type
Conference paper
Publication
Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers

Add the full text or supplementary notes for the publication here using Markdown formatting.