Formal Modelling and Verification of Pervasive Computing Systems.

Published in: FSFMA (2013)

Keyphrases

pervasive computing
formal methods
distributed systems
ambient assisted living
ambient intelligence systems
computer simulation
ubiquitous computing
multi agent
expert systems
mobile devices
management system
context aware
daily life
home care