Login / Signup
Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things.
Laura González
Javier Cubo
Antonio Brogi
Ernesto Pimentel
Raúl Ruggia
Published in:
ESOCC Workshops (2013)
Keyphrases
</>
physical world
mobile devices
end users
model checking
formal verification
mashup
face verification
information systems
user behaviour
web applications
mobile computing
ubiquitous computing
human behaviour
formal analysis
data sets
linked data
user interface
artificial intelligence