Gyu Myoung Lee, Noel Crespi. Shaping future service environments with the cloud and internet of things : networking challenges and service evolution. 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (IS
HAL Archives-Ouvertes,
Gyu Myoung Lee, Noel Crespi. Shaping future service environments with the cloud and internet of things : networking challenges…