Login / Signup
Towards Formal Modelling and Verification of Pervasive Computing Systems.
Yan Liu
Xian Zhang
Yang Liu
Jin Song Dong
Jun Sun
Jit Biswas
Mounir Mokhtari
Published in:
Trans. Comput. Collect. Intell. (2014)
Keyphrases
</>
pervasive computing
formal methods
expert systems
computing environments
databases
distributed systems
ambient intelligence systems
ambient intelligence
context awareness
database
learning experience
mobile computing
ambient assisted living
home care