A conflicts' classification for IoT-based services: a comparative surveyPEERJ COMPUTER SCIENCEIF2.52021-04-279OAAI
A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation SystemsBUILDING AND ENVIRONMENTIF7.62020-08-0110PREAI