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
Any de publicació: 2013
Volum: 393 CCIS
Pàgines: 318-330
Tipus: Aportació congrés