Tao Lu, Xinye Huo. Modeling and verification of supervisory rules in Internet of Things environment. In Robert J. Howlett, Lakhmi C. Jain, Zoran Popovic, Dejan B. Popovic, Slobodan N. Vukosavic, Carlos Toro 0001, Yulia Hicks, editors, Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, Belgrade, Serbia, 3-5 September 2018. Volume 126 of Procedia Computer Science, pages 1926-1935, Elsevier, 2018. [doi]
Abstract is missing.