Yang Zhang, Jun-liang Chen. Modeling virtual channel to enforce runtime properties for IoT services. In Hani Hamdan, Djallel Eddine Boubiche, Homero Toral-Cruz, Sedat Akleylek, Hamid Mcheick, editors, Proceedings of the Second International Conference on Internet of things and Cloud Computing, ICC 2017, Cambridge, United Kingdom, March 22-23, 2017. ACM, 2017. [doi]
Abstract is missing.