Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things / Javier Cubo; Laura González; Antonio Brogi; Ernesto Pimentel and Raul Ruggia. - 393(2013), pp. 318-330. ((Intervento presentato al convegno 3rd International Workshop on Adaptiive Services for the Future Internet (WAS4FI 2013) tenutosi a September 11, 2013 nel Malaga (Spain)..
Titolo: | Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things |
Autori interni: | |
Anno del prodotto: | 2013 |
Rivista: | |
Handle: | http://hdl.handle.net/11568/239956 |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.