A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation Systems
作者
关键词
End user programming, Event-condition-action programming, Occupant centric control, Conflict resolution, Correctness and safety, Energy saving, Satisfiability Modulo Theories
Discover Peeref hubs
Discuss science. Find collaborators. Network.
Join a conversationAdd your recorded webinar
Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.
Upload Now