A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation Systems
Hamada Ibrhim, Sherif Khattab, Khaled Elsayed, Amr Badr, Emad Nabil
Topics & Concepts
Computer scienceCorrectnessConflict resolutionAutomationJavaSoftware engineeringBuilding automationFormal methodsSatisfiabilityModuloProgramming languageTheoretical computer scienceEngineeringThermodynamicsPhysicsMechanical engineeringPolitical scienceLawCombinatoricsMathematicsContext-Aware Activity Recognition SystemsSmart Grid Energy ManagementGreen IT and Sustainability