A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation Systems
| Auteur(s): |
Hamada Ibrhim
Sherif Khattab Khaled Elsayed Amr Badr Emad Nabil |
|---|---|
| Médium: | article de revue |
| Langue(s): | anglais |
| Publié dans: | Building and Environment, août 2020, v. 181 |
| Page(s): | 106983 |
| DOI: | 10.1016/j.buildenv.2020.106983 |
- Informations
sur cette fiche - Reference-ID
10429898 - Publié(e) le:
14.08.2020 - Modifié(e) le:
14.08.2020
Structurae coopère avec
