A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation Systems
| Autor(en): |
Hamada Ibrhim
Sherif Khattab Khaled Elsayed Amr Badr Emad Nabil |
|---|---|
| Medium: | Fachartikel |
| Sprache(n): | Englisch |
| Veröffentlicht in: | Building and Environment, August 2020, v. 181 |
| Seite(n): | 106983 |
| DOI: | 10.1016/j.buildenv.2020.106983 |
- Über diese
Datenseite - Reference-ID
10429898 - Veröffentlicht am:
14.08.2020 - Geändert am:
14.08.2020
Structurae kooperiert mit
