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