Towards formal modelling and verification of pervasive computing systems

by LIU, Yan, ZHANG, Xian, LIU, Yang, DONG, Jin Song, SUN, Jun, BISWAS, Jit, MOKHTARI, Mounir
Published 2014

Formal analysis of pervasive computing systems

by LIU, Yan, ZHANG, Xian, DONG, Jin Song, LIU, Yang, SUN, Jun, BISWAS, Jit, MOKHTARI, Mounir
Published 2012