Haiming Chen, Kaibin Xie, Li Cui, Antonio Pescapè. A Formal Methodology for Easing Development and Maintenance of Entity Services in Service Oriented Software-Defined Internet of Things. IEEE Internet of Things Journal, 6(6):9516-9530, 2019. [doi]
Abstract is missing.