Modeling and verification of supervisory rules in Internet of Things environment.

Tao Lu, Xinye Huo

Browse the full KES paper archive.