Ibrhim, H., Khattab, S., Elsayed, K., Badr, A., & Nabil, E. (2020). A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation Systems. Building and environment, 181, 106983. https://doi.org/10.1016/j.buildenv.2020.106983
Chicago-Zitierstil (17. Ausg.)Ibrhim, Hamada, Sherif Khattab, Khaled Elsayed, Amr Badr, und Emad Nabil. "A Formal Methods-based Rule Verification Framework for End-user Programming in Campus Building Automation Systems." Building and Environment 181 (2020): 106983. https://doi.org/10.1016/j.buildenv.2020.106983.
MLA-Zitierstil (9. Ausg.)Ibrhim, Hamada, et al. "A Formal Methods-based Rule Verification Framework for End-user Programming in Campus Building Automation Systems." Building and Environment, vol. 181, 2020, p. 106983, https://doi.org/10.1016/j.buildenv.2020.106983.