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

Javier, Cubo; Laura, González; Antonio, Brogi; Ernesto Pimentel And Raul Ruggia,

Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things / Javier Cubo; Laura González; Antonio Brogi; Ernesto Pimentel and Raul Ruggia. - In: COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE. - ISSN 1865-0929. - 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)..

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11568/239956

Titolo:	Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things
Autori interni:	BROGI, ANTONIO
Anno del prodotto:	2013
Rivista:	COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE
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.

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.