Khaled Elsayed
Professor
Department of Electronics and Communications Engineering, Faculty of Engineering, Building 8. (email)
A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation Systems
- Citation:
- Ibrhim, H., S. Khattab, K. Elsayed, A. Badr, and E. Nabil, "A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation Systems", Elsevier Building and Environment, vol. 181, issue August 2020, pp. 1-13, 2020.