Towards formal modelling and verification of pervasive computing systems

由 LIU, Yan, ZHANG, Xian, LIU, Yang, DONG, Jin Song, SUN, Jun, BISWAS, Jit, MOKHTARI, Mounir
出版 2014

Formal analysis of pervasive computing systems

由 LIU, Yan, ZHANG, Xian, DONG, Jin Song, LIU, Yang, SUN, Jun, BISWAS, Jit, MOKHTARI, Mounir
出版 2012